Author of the publication

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

, , , , , , , and . Tool Support for System Specification, Development and Verification, page 174-188. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Improved Algorithm for the Evaluation of Fixpoint Expressions., , , , and . Theor. Comput. Sci., 178 (1-2): 237-255 (1997)Verifying temporal properties of reactive systems: A STeP tutorial, , , , , , and . FORMAL METHODS IN SYSTEM DESIGN, page 2000. (2000)Automatic Generation of Invariants and Assertions., , and . CP, volume 976 of Lecture Notes in Computer Science, page 589-623. Springer, (1995)STeP: The Stanford Temporal Prover., , , , , , , , , and 1 other author(s). TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 793-794. Springer, (1995)An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems., , , , , , , and . Tool Support for System Specification, Development and Verification, page 174-188. Springer, (1998)Visual Abstractions for Temporal Verification., , , and . AMAST, volume 1548 of Lecture Notes in Computer Science, page 28-41. Springer, (1998)An Improved Algorithm for the Evaluation of Fixpoint Expressions., , , , and . CAV, volume 818 of Lecture Notes in Computer Science, page 338-350. Springer, (1994)STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems., , , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 415-418. Springer, (1996)Linking STeP with SPIN., , and . SPIN, volume 1885 of Lecture Notes in Computer Science, page 181-186. Springer, (2000)A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata., , and . CAAP, volume 431 of Lecture Notes in Computer Science, page 103-116. Springer, (1990)