References
- Model Checking E.M. Clarke;O. Grumberg;D. Peled
- Proceedings of DAC' 95 Model Checking in Industrial Hardware Design J. Bormann;J. Lohse;M. Payer;G.Venzl
- Proceedings of TACAS'98, LNCS v.1384 Modular model checking of software K. Laster;O. Grumberg
- Proceedings of ASE Model Checking Programs G. Brat;K. Havelund;S.J. Park;W. Visser
- Proceedings of LICS'02 Tree-like Counterexamples in Model Checking E.M. Clarke;S. Jha;Y. Lu;H. Veith
- Proceedings of CAV'00 Counterexample-guided Abstraction Refinement E.M. Clarke;O. Grumberg;S. Jha;Y. Lu;H. Veith
- Artificial Intelligence and Games
- Proceedings of the ICCAD Least Fixpoint Approximations for Reachability Analysis I.H. Moon;J. Kukula;T. Shiple;F. Somenzi
- ACM Transactions on Programming Languages and Systems v.8 no.2 Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications E.M. Clarke;E.A. Emerson;A.P. Sistla
- PhD thesis, Carnegie Mellon University Symbolic Model Checking: An Approach to the State Explosion Problem K.L. McMillan
- Proceedings of 10 Years Dagstuhl, LNCS 2000 Progress on the State Explosion Problem in Model Checking E.M. Clarke;O. Grumberg;S. Jha;Y. Lu;H. Veith
- IEEE Transactions on Computer v.35 no.8 Graph-Based Algorithms for Boolean Function Manipulation R.E. Bryant
- ACM Transactions on Programming Languages and Systems v.16 no.5 Model Checking and Abstraction E.M. Clarke;O. Grumberg;D.E. Long
- Formal Methods in System Design no.8 Combining Partiall. Order Reductions with on-the-fly Model Checking D. Peled
- Technical Report CMU-CS-98-106 Compositional Reasoning in Model Checking S. Berezin;S. Campos;E.M. Clarke
- Proceedings of ISSTA'98 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements W.Chan;R.J.Anderson;P.Beame;D.Notkin