An evaluation of model checking tools

Autoren Felix Kossak
TitelAn evaluation of model checking tools
TypTechnischer Bericht
NummerSCCH-TR-0309
OrtHagenberg, Austria
InstitutionSCCH
Jahr2003
SCCH ID#309
Abstract

We give an overview over the most important methods and tools for model checking. @e compare two of the most important and most widespread tools: NuSMV and SPIN. We lay special emphasis on the usability with respect to software (design) verification. Finally we look at possible areas of application in the area of software development.