NuSMV 2: An OpenSource Tool for Symbolic Model Checking (original) (raw)
Related papers
NuSMV: a new symbolic model checker
Marco Roveri, Emanuele Olivetti, Alessandro Cimatti
2000
The nuXmv Symbolic Model Checker
Computer Aided Verification, 2014
NuSMV: A new symbolic model verifier
Marco Roveri, Fausto Giunchiglia, Alessandro Cimatti
1999
NuSeen: A Tool Framework for the NuSMV Model Checker
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017
Integrating BDD-Based and SAT-Based Symbolic Model Checking
2002
A Tutorial Introduction to Symbolic Model Checking
Logic for concurrency and synchronisation, 2003
An Optimized Symbolic Bounded Model Checking Engine
Lecture Notes in Computer Science, 2003
Grand Challenge: Model Check Software
Vissas, 2005
AlPiNA: A Symbolic Model Checker
Lecture Notes in Computer Science, 2010
MODEL CHECKERS –TOOLS AND LANGUAGES FOR SYSTEM DESIGN-A SURVEY
Computer Science & Information Technology (CS & IT) Computer Science Conference Proceedings (CSCP)
Model checking software: on some new waves and some evergreens
2010
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
Lecture Notes in Computer Science, 2004
Model checking: recent improvements and applications
International Journal on Software Tools for Technology Transfer
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
Lecture Notes in Computer Science, 2000
New Challenges in Model Checking
Lecture Notes in Computer Science, 2008
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Fundamenta Informaticae - FUIN, 2008
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
International Journal on Software Tools for Technology Transfer, 2021
Symbolic Model Checking of Software
Electronic Notes in Theoretical Computer Science, 2003
MCC’2017 – The Seventh Model Checking Contest
Transactions on Petri Nets and Other Models of Concurrency XIII, 2018
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering, 1998
2000