Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.
Formal Methods Syst. Des., 2000
The 'Cash-Point' Service: A Verification Case Study Using STeP.
Formal Aspects Comput., 2000
Linking <i>ST<sub>e</sub>P</i> with SPIN.
Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.
Proceedings of the International Workshop Tool Support for System Specification, 1998
Visual Abstractions for Temporal Verification.
Proceedings of the Algebraic Methodology and Software Technology, 1998
An Improved Algorithm for the Evaluation of Fixpoint Expressions.
Theor. Comput. Sci., 1997
Automatic Generation of Invariants and Intermediate Assertions.
Theor. Comput. Sci., 1997
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
Hierarchical Verification Using Verification Diagrams.
Proceedings of the Concurrency and Parallelism, 1996
STeP: The Stanford Temporal Prover.
,
,
,
,
,
,
,
,
,
,
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Generalized Temporal Verification Diagrams.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995
Automatic Generation of Invariants and Assertions.
Proceedings of the Principles and Practice of Constraint Programming, 1995
A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata.
Inf. Process. Lett., 1993
A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.
Proceedings of the CAAP '90, 1990
Expressibility results for linear-time and branching-time logics.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988