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

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

Documents Related by Co-Citation

1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
799 E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic – E M Clarke, Emerson - 1982
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
1297 Symbolic Model Checking – K L McMillan - 1993
3219 Communication and Concurrency – R Milner - 1990
237 Specification and verification of concurrent systems in CESAR – J P Queille, J Sifakis - 1982
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
1254 The model checker SPIN – Gerard J. Holzmann - 1997
72 Planning via model checking: A decision procedure for AR – Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso - 1997
48 Strong Planning in Non-Deterministic Domains via Model Checking – A. Cimatti, Marco Roveri, Paolo Traverso - 1998
88 Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains – A. Cimatti, M. Roveri, P. Traverso - 1998
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
1204 The temporal logic of programs – A Pnueli - 1977
70 Runtime Assurance Based On Formal Specifications – Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan - 1999
10 Information Extraction for Run-time Formal Analysis – Moonjoo Kim - 2001
22 Distributed spatial control, global monitoring and steering of mobile physical agents – Diana F. Gordon, William M. Spears - 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