Symbolic Model Checking for Asynchronous Boolean Programs
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Context-Bounded Model Checking of Concurrent SoftwareLecture Notes in Computer Science, 2005
- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside MicrosoftLecture Notes in Computer Science, 2004
- Zing: Exploiting Program Structure for Model Checking Concurrent SoftwareLecture Notes in Computer Science, 2004
- Symbolic Model Checking of SoftwareElectronic Notes in Theoretical Computer Science, 2003
- Thread-Modular Abstraction RefinementLecture Notes in Computer Science, 2003
- Efficient Symbolic Model Checking of Software Using Partial Disjunctive PartitioningLecture Notes in Computer Science, 2003
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingLecture Notes in Computer Science, 2002
- MOCHA: Modularity in model checkingLecture Notes in Computer Science, 1998
- Generating finite-state abstractions of reactive systems using decision proceduresPublished by Springer Science and Business Media LLC ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997