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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In this paper, we developed a support tool to design IoT services, and proposed a model checking method with NuSMV. Using our… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
2007
2007
This paper describes the rst results of a joint project between CMU and IRST whose goal is to produce a reimplementation of Smv… (More)
Is this relevant?
2007
2007
We show that the problem of model checking multidimensional modal logics can be reduced to the problem of model checking ARCTL… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Safety-critical systems are becoming more complex, both in the type of functionality they provide and in the way they are… (More)
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Safety critical systems are becoming more complex, both in the type of functionality they provide and in the way they are… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Alessandro Cimatti 1, Edmund Clarke2, Enrico Giunchiglia3, Fausto Giunchiglia 4, Marco Pistore1, Marco Roveri 1, Roberto… (More)
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Even well administered networks are vulnerable to attack. Recent work in network security has focused on the fact that… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper describes a new symbolic model checker, called NuSMV, developed as part of a joint project between CMU and IRST. NuSMV… (More)
  • figure 1
  • table 1
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper describes N USMV, a new symbolic model checker developed as a joint project between Carnegie Mellon University (CMU… (More)
  • figure 1
  • figure 2
Is this relevant?