Automatic verification of finite-state concurrent systems using temporal logic specifications (1986)

by E. M. Clarke , E. A. Emerson , A. P. Sistla
Venue:ACM Transactions on Programming Languages and Systems
Citations:1170 - 58 self

Active Bibliography

2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
38 Automated Temporal Reasoning about Reactive Systems – E. Allen Emerson - 1996
1102 Temporal and modal logic – E. Allen Emerson - 1995
BTL2 and the expressive power of ECTL+ – Alexander Rabinovich , Philippe Schnoebelen - 2006
32 The Complexity of Temporal Logic Model Checking – Philippe Schnoebelen - 2002
2 A Tableau Calculus For First-Order Branching Time Logic – Wolfgang May, Peter H. Schmitt - 1996
1 Theorem-Proving for Discrete Temporal Logic – Mark Reynolds, Clare Dixon - 1998
1 Real-time and Probabilistic Temporal Logics: An Overview – Savas Konur - 2008
Distributed Systems – Aravinda Prasad Sistla, Aravinda Prasad Sistla - 1983
31 Formal Methods for the Specification and Design of Real-Time Safety Critical Systems – Jonathan S. Ostroff - 1992
BTL2 and expressive completeness for ECTL+ – A. Rabinovich, Ph. Schnoebelen - 2000
18 The power of the future perfect in program logics – Matthew Hennessy, Colin Stirling - 1985
Combining Specification Methods for Distributed Systems – Martin Huber - 1999
201 Real-time logics: complexity and expressiveness – Rajeev Alur, Thomas A. Henzinger - 1993
237 A Really Temporal Logic – Rajeev Alur, Thomas A. Henzinger - 1989
216 An automata-theoretic approach to linear temporal logic – Moshe Y. Vardi - 1996
4 Submodule Construction as Equation Solving in CCS – Joachim Parrow - 1989
47 Verification of Concurrent Programs: The Automata-Theoretic Framework – Moshe Y. Vardi - 1987
117 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long