University of Twente Student Theses


Optimising techniques for model checkers

Nguyen, V.Y. (2007) Optimising techniques for model checkers.

[img] PDF
Abstract:The Mono Model Checker (MMC) is a software model checker that can verify whether a .NET program contains assertion violations or deadlocks. It was developed as part of a Master’s project by [1]. Much of its design was inspired by Java PathFinder, a software model checker for Java programs. This thesis is the result of the follow-up Master’s project on MMC. The goal during this project was to improve MMC’s ability to verify models with larger state spaces.
Item Type:Essay (Master)
Formal Methods & Tools
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page