An evaluation of model checking tools
| F. Kossak. An evaluation of model checking tools. number SCCH-TR-0309, 2003. | |
| Autoren | |
| Typ | Technischer Bericht |
| Nummer | SCCH-TR-0309 |
| Jahr | 2003 |
| 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. |