References
- Formal Methods-FACT FILE, VDM and Z A. Harry
- The Art of Software Testing G. J Myers
- NRL/FR/ 5546 ?93-9581 v.1 An International Survey of Industrial Applications of Formal Methods D. H. Craigen;S. L. Gerhart;T. J. Ralston
- ACM Computing Surveys v.28 no.4 Formal Methods: State of the Art and Future Directions E. M. Clarke;J. M. Wing
- Symbolic Model Checking K. L.McMillan
- The Temporal Logic of Reactive and Concurrent Systems - Specification Z. Manna;A. Pnueli
- Proceedings of CONCUR 2001 (LNCS 2154) Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software J. Hatcliff;M. Dwyer
- Proceedings of the 22th ICSE Bandera : Extracting Finite-state Models from Java Source Code J. Corbett;M. Dwyer;J. Hatcliff;C. Pasareanu;Robby;S. Laubach;H. Zheng
- Proceedings of POPL 2002 The SLAM Project: Debugging System Software via Static Analysis T. Ball;S. K. Rajamani
- Proceedings of the 6th International SPIN Workshop, LNCS v.1680 dSPIN: A dynamic extension of SPIN. In Theoretical and Applied Aspects of SPIN Model Checking C. Demartini;R. Iosif;R. Sisto
- International Journal on Software Tools for Technology Transfer Model Checking Java Programs Using Java PathFinder K. Havelund;T. Pressburger
- Invited Paper, ICSE 99 Software Model Checking G. J. Holzmann;M. Smith
- Verilog HDL P. Samir
- SystemC Version2.0 User's Guide
- Design and Validation of Computer Protocols G. J. Holzmann
- IEEE Transactions on Software Engineering The Model Checker? SPIN G. J. Holzmann
- proceeding of CAV 2001 The SLAM Toolkit T. Ball;S. K. Rajamani
- MSR Technical Report 2000-14 Boolean Programs: A Model and Process for Software Analysis T. Ball;S. K. Rajamani
- MSR-TR-2001-21 SLIC: A Specification Language for Interface Checking(of C) T. Ball;S. K. Rajamani
- Proceedings of 6th International SPIN Workshop, LNCS v.1885 Bebop: A Symbolic Model Checker for Boolean Programs T. Ball;S. K. Rajamani
- VIS User's Manual T. Villa;G. Swamy;T. Shiple
- RLIF-MV Y. Kukimoto