Formal Methods: State of the Art and Future Directions (1996)

by Edmund M. Clarke , Jeannette M. Wing
Venue:ACM Computing Surveys
Citations:360 - 6 self

Documents Related by Co-Citation

1501 The Temporal Logic of Reactive and Concurrent Systems: Specifications. The Temporal Logic of Reactive and Concurrent Systems – Zohar Manna, Amir Pnueli - 1992
794 Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic – E M CLARKE, E A EMERSON - 1982
1179 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
1296 Symbolic Model Checking – K McMillan - 1992
3204 Communication and Concurrency – R Milner - 1989
237 Specification and verification of concurrent systems in Cesar – J P Queille, J Sifakis - 1981
876 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
1261 The model checker SPIN – Gerard J. Holzmann - 1997
87 Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains – A. Cimatti, M. Roveri, P. Traverso - 1998
48 Strong Planning in Non-Deterministic Domains via Model Checking – A. Cimatti, Marco Roveri, Paolo Traverso - 1998
2930 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
73 Planning via model checking: A decision procedure for AR – Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso - 1997
1204 The temporal logic of programs – Amir Pnueli - 1977
71 Runtime Assurance Based On Formal Specifications – Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan - 1999
19 A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems – Guangtian Liu, Aloysius K. Mok, Prabhudev Konana - 1998
24 Early Detection of Timing Constraint Violation at Runtime – A K Mok, G Liu - 1997
17 A Formalism for Monitoring Real-Time Constraints at Runtime – F Jahanian, A Goyal - 1990
28 Verisim: Formal analysis of network simulations – Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan - 2002
23 Distributed spatial control, global monitoring and steering of mobile physical agents – Diana F. Gordon, William M. Spears - 1999