Expressibility results for linear-time and branching-time logics. - Edmund M. Clarke; I. A. Draghicescu (REX Workshop, 1988)

A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. - Edmund M. Clarke; Anca Browne; Robert P. Kurshan (CAAP, 1990)

A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata. - Edmund M. Clarke; I. A. Draghicescu; Robert P. Kurshan (Inf. Process. Lett., 1993)

Automatic Generation of Invariants and Assertions. - Nikolaj S. Bjørner; Anca Browne; Zohar Manna (CP, 1995)

Generalized Temporal Verification Diagrams. - Anca Browne; Zohar Manna; Henny Sipma (FSTTCS, 1995)

STeP: The Stanford Temporal Prover. - Zohar Manna; Nikolaj S. Bjørner; Anca Browne; Edward Y. Chang; Michael Colón; Luca de Alfaro; Harish Devarajan; Arjun Kapur; Jaejin Lee; Henny Sipma; Tomás E. Uribe (TAPSOFT, 1995)

Hierarchical Verification Using Verification Diagrams. - Anca Browne; Zohar Manna; Henny Sipma (ASIAN, 1996)

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. - Nikolaj S. Bjørner; Anca Browne; Edward Y. Chang; Michael Colón; Arjun Kapur; Zohar Manna; Henny Sipma; Tomás E. Uribe (CAV, 1996)

Automatic Generation of Invariants and Intermediate Assertions. - Nikolaj S. Bjørner; Anca Browne; Zohar Manna (Theor. Comput. Sci., 1997)

An Improved Algorithm for the Evaluation of Fixpoint Expressions. - Anca Browne; Edmund M. Clarke; Somesh Jha; David E. Long; Wilfredo R. Marrero (Theor. Comput. Sci., 1997)

Visual Abstractions for Temporal Verification. - Zohar Manna; Anca Browne; Henny Sipma; Tomás E. Uribe (AMAST, 1998)

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. - Zohar Manna; Nikolaj S. Bjørner; Anca Browne; Michael Colón; Bernd Finkbeiner; Mark C. Pichora; Henny B. Sipma; Tomás E. Uribe (Tool Support for System Specification, Development and Verification, 1998)

Linking STeP with SPIN. - Anca Browne; Henny Sipma; Ting Zhang 001 (SPIN, 2000)

The 'Cash-Point' Service: A Verification Case Study Using STeP. - Anca Browne; Bernd Finkbeiner; Zohar Manna; Henny Sipma (Formal Aspects Comput., 2000)

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. - Nikolaj S. Bjørner; Anca Browne; Michael Colón; Bernd Finkbeiner; Zohar Manna; Henny Sipma; Tomás E. Uribe (Formal Methods Syst. Des., 2000)