Optimising techniques for model checkers

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

[img]
Preview
PDF
1MB
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)
Clients:
Formal Methods & Tools
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:http://purl.utwente.nl/essays/58117
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page