×

Ambient calculus-based modal logic model checking

  • US 20050080603A1
  • Filed: 08/10/2004
  • Published: 04/14/2005
  • Est. Priority Date: 03/18/1999
  • Status: Abandoned Application
First Claim
Patent Images

1. A computer-implemented method that facilitates ambient calculus-based modal logic model checking, comprising:

  • performing an analysis on an ambient calculus-based representation of a process with a formula that is represented via ambient calculus; and

    outputting a result of the analysis that is utilized to facilitate determining whether the process satisfies the formula.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×