Skip to search formSkip to main contentSkip to account menu

NuSMV

Known as: NuSMV 2, NuSMV2, SMV 
NuSMV is a reimplementation and extension of SMV symbolic model checker, the first model checking tool based on Binary Decision Diagrams (BDDs).The… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
ANSI CBinary decision diagramBoolean satisfiability problemComputation tree logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Analyzing Industrial Simulink Models by Statistical Model Checking
The evolution of automotive systems has been rapid. Nowadays, electronic brains control dozens of functions in vehicles, like… 
2013
2013
Algorithms for the efficient verification and planning of information technology change operations
The success of businesses is threatened by changes frequently applied to the IT systems of a company. To prevent outages caused… 
2013
2013
Advances in Symbolic Model Checking Techniques
A common theme in symbolic model checking is to compute an inductive strengthening of the desired invariant, which forms a proof… 
2013
2013
NuSeen: an eclipse-based environment for the NuSMV model checker
NuSeen is an eclipse-based environment for NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of… 
2012
2012
Vérification Formelle des Processus Workflow Collaboratifs
In this paper, we present a method of verification of collaborative workflow processes based on model checking techniques. In… 
2012
2012
Kerberos Authentication Protocol Modeling Using NUSMV Model
Authentication is one of the biggest problem related to computer information security in the area of distributed environments… 
2011
2011
Towards Automated Verification of P Systems Using Spin
This paper presents an approach to P systems verification using the Spin model checker. The authors have developed a tool which… 
2008
2008
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different levels of… 
2007
2007
SEQUENTIAL CONTROL AT THE SUPERVISORY LEVEL OF BATCH PLANT USING SIGNAL INTERPRETED PETRI NETS
Traditionally batch control is one of the most difficult and complex control system for implementation since it includes basic… 
2004
2004
Modeling Mental States in Requirements Engineering - An Agent-Oriented Framework Based on i* and CASL