×

Automata-theoretic verification of systems

  • US 6,185,516 B1
  • Filed: 10/07/1997
  • Issued: 02/06/2001
  • Est. Priority Date: 03/06/1990
  • Status: Expired due to Fees
First Claim
Patent Images

1. Improved design testing apparatus for making a determination whether a design performs a task, the design testing apparatus being of the type which includes means for making the determination by testing a model automaton including variables and the improvement comprising:

  • a processor operable to create a directed graph of dependency relations of the variables; and

    means for using the directed graph to make a reduced version of the model automaton, wherein said means for using the directed graph comprises means for reducing the size of the directed graph to form a reduced version of the directed graph, wherein said means for reducing comprises means for resizing variables having a value upon which the performance of the reduced version of the model automaton does not depend, the design testing apparatus making the determination by testing the reduced version of the model automaton.

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