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

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

Documents Related by Co-Citation

1412 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
698 Design and synthesis of synchronization skeletons using branching time temporal logic – E Clarke, E Emerson - 1981
1085 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
1207 Symbolic Model Checking – K L McMillan - 1993
2970 Communication and Concurrency – R Milner - 1989
282 Concurrency: State Models & Java Programs – J Magee, J Kramer
200 Specification and verification of concurrent systems in CESAR – J P Queille, J Sifakis - 1981
792 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
1130 The model checker SPIN – Gerard J. Holzmann - 1997
47 Strong Planning in Non-Deterministic Domains via Model Checking – A. Cimatti, Marco Roveri, Paolo Traverso - 1998
82 Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains – A. Cimatti, M. Roveri, P. Traverso - 1998
62 Planning via model checking: A decision procedure for AR – Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso - 1997
2605 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
999 The temporal logic of programs – A Pnueli - 1977
514 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
65 Runtime Assurance Based On Formal Specifications – Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan - 1999
36 Efficient Run-Time Monitoring of Timing Constraints – Aloysius K. Mok, Guangtian Liu - 1997
32 Observer-A Concept for Formal On-Line Validation of Distributed Systems – M Diaz, G Juanole, J-P Courtiat - 1994
9 A framework for run-time correctness assurance of real-time systems – M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky - 1998