MMC: the Mono Model Checker

Electronic Notes in Theoretical Computer Science

Volumn 190, Issue 1 SPEC. ISS., 2007, Pages 149-160

  Ruys, Theo C ^a   de Brugh, Niels H M Aan ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

.Net; cli bytecode; mmc; Mono; software model checking; verification

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; JAVA PROGRAMMING LANGUAGE; MODEL CHECKING;

CLI BYTECODE; MONO MODEL CHECKER (MMC); SOFTWARE MODEL CHECKING;

COMPUTER SOFTWARE;

EID: 34547183447     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.02.066     Document Type: Article

References (22)

1. Aan de Brugh, N. H. M., "Software Model Checking for Mono," Master's thesis, University of Twente, Enschede, The Netherlands (2006)
2. Ball, T. and S. K. Rajamani, The SLAM Project: Debugging System Software Via Static Analysis, in: Proc. of the 29th Symp. on Principles of Programming Languages (POPL 2002), 2002, pp. 1-3
3. Clarke E.M., Emerson E.A., Jha S., and Sistla A.P. Symmetry Reductions in Model Checking. In: Hu A.J., and Vardi M.Y. (Eds). Proc. of the 10th Int. Conf. on Computer Aided Verification (CAV 1998). LNCS 1427 (1998) 147-158
4. Clarke E.M., Grumberg O., and Peled D. Model Checking (1999), MIT Press
5. Dumbill E., and Bornstein N.M. Mono: A Developer's Notebook (2004), O'Reilly
6. ECMA International, Standard ECMA-335: Common Language Infrastructure (CLI) (2005), http://www.ecma-international.org/publications/standards/Ecma-335.htm
7. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software (1995), Addison-Wesley
8. Godefroid P. Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. PhD in Computer Science, University of Liege (1994), A revised version has been published as. LNCS 1032 (1996), Springer-Verlag
9. Grieskamp W., Tillmann N., and Schulte W. XRT: Exploring Runtime for .NET - Architecture and Applications. Electr. Notes Theor. Comput. Sci. (ENTCS) 144 (2006) 3-26
10. Havelund K., and Pressburger T. Model Checking JAVA Programs Using JAVA PathFinder. International Journal on Software Tools for Technology Transfer (STTT) 2 (2000) 366-381
11. Holzmann, G.J., State Compression in Spin: Recursive Indexing and Compression Training Runs, in: Proc. of the 3th International SPIN Workshop, University of Twente, Enschede, The Netherlands, 1997
12. Holzmann G.J. The Spin Model Checker - Primer and Reference Manual (2004), Addison-Wesley, Boston, Massachusetts, USA
13. Holzmann G.J., and Smith M.H. Software Model Checking. In: Wu J., Chanson S.T., and Gao Q. (Eds). Proc. of FORTE/PSTV 1999. IFIP Conference Proceedings 156 (1999) 481-497
14. Robby, M. B. Dwyer and J. Hatcliff, Bogor: An Extensible and Highly-modular Software Model Checking Framework, in: Proc. of ESEC/SIGSOFT FSE (2003), pp. 267-276
15. obby R., Dwyer M.B., Hatcliff J., and Iosif R. Space-Reduction Strategies for Model Checking Dynamic Software. Electr. Notes Theor. Comput. Sci. (ENTCS) 89 (2003)
16. Visser W., Havelund K., Brat G., Park S., and Lerda F. Model Checking Programs. Automated Software Engeneering 10 (2003) 203-232
17. Bogor, http://bogor.projects.cis.ksu.edu/
18. Cecil, http://www.mono-project.com/Cecil
19. Java PathFinder, http://javapathfinder.sourceforge.net/
20. MMC: The Mono Model Checker, http://www.cs.utwente.nl/~ruys/mmc/
21. The Mono Project, http://www.mono-project.com
22. .NET Languages, http://www.dotnetlanguages.net/