Symbolic Model Checking of Software
Open Access
- 30 September 2003
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 89 (3), 480-498
- https://doi.org/10.1016/s1571-0661(05)80008-8
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Model Checking ProgramsAutomated Software Engineering, 2003
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingLecture Notes in Computer Science, 2002
- The model checker SPINIEEE Transactions on Software Engineering, 1997