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.
Highly Cited
2015
Highly Cited
2015
A formal approach for the specification and verification of a Trustworthy Human Resource Discovery mechanism in the Expert Cloud
2014
2014
Behavior modeling and automated verification of Web services
2008
2008
Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences
This paper describes the experiences and the challenges we are facing within the ProVotE project, a four years project sponsored… 
2007
2007
Towards the Integration of Visual and Formal Models for GUI Testing
Highly Cited
2006
Highly Cited
2006
Representation, Verification, and Computation of Timed Properties in Web
In this paper we address the problem of qualitative and quantitative analysis of timing aspects of Web service compositions… 
Highly Cited
2006
Highly Cited
2006
Timed modelling and analysis in Web service compositions
In this paper we present an approach for modelling and analyzing time-related properties of Web service compositions defined as a… 
2005
2005
Bounded model checking knowledge and branching time in synchronous multi-agent systems
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded… 
2003
2003
Symbolic Model Checking of Software
Highly Cited
2003
Highly Cited
2003
A work-efficient distributed algorithm for reachability analysis
This work presents a novel distributed symbolic algorithm for reachability analysis that can effectively exploit, as needed, a… 
2001
2001
Using the NuSMV Model Checker to verify the Kerberos Protocol
The aim of this paper is to present a methodology for verifying cryptographic protocols by means of NuSMV, a symbolic model… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)