×

Method and apparatus for automatic verification of properties of a concurrent software system

  • US 20020100022A1
  • Filed: 05/07/2001
  • Published: 07/25/2002
  • Est. Priority Date: 05/08/2000
  • Status: Abandoned Application
First Claim
Patent Images

1. A method for extracting a verification model from source code comprising the steps of:

  • defining a control flow for procedures in the source code;

    generating source strings for selected elements of the source code;

    associating the source strings to an interpretation according to a plurality of prioritized mapping rules;

    applying the associated interpretation to the source strings to translate the source strings to strings of a target language;

    generating the verification model in the target language, the generating step including the step of populating the control flow with the strings of the target language, wherein the verification model conforms to the control flow; and

    optimizing the verification model according to a property to be verified.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×