About: NuSMV

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

NuSMV is a reimplementation and extension of SMV symbolic model checker, the first model checking tool based on Binary Decision Diagrams (BDDs).The tool has been designed as an open architecture for model checking. It is aimed at reliable verification of industrially sized designs, for use as a backend for other verification tools and as a research tool for formal verification techniques. NuSMV has been developed as a joint project between ITC-IRST ( in Trento, Italy), Carnegie Mellon University, the University of Genoa and the University of Trento.

Property Value
dbo:abstract
  • NuSMV is a reimplementation and extension of SMV symbolic model checker, the first model checking tool based on Binary Decision Diagrams (BDDs).The tool has been designed as an open architecture for model checking. It is aimed at reliable verification of industrially sized designs, for use as a backend for other verification tools and as a research tool for formal verification techniques. NuSMV has been developed as a joint project between ITC-IRST ( in Trento, Italy), Carnegie Mellon University, the University of Genoa and the University of Trento. NuSMV 2, version 2 of NuSMV, inherits all the functionalities of NuSMV. Furthermore, it combines BDD-based model checking with SAT-based model checking. It is maintained by Fondazione Bruno Kessler, the successor organization of ITC-IRST. (en)
dbo:developer
dbo:genre
dbo:latestReleaseDate
  • 2015-10-14 (xsd:date)
dbo:latestReleaseVersion
  • 2.6.0
dbo:license
dbo:programmingLanguage
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8989471 (xsd:integer)
dbo:wikiPageLength
  • 5054 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1101001787 (xsd:integer)
dbo:wikiPageWikiLink
dbp:developer
  • FBK-irst , CMU , The University of Genova , The University of Trento (en)
dbp:genre
dbp:latestReleaseDate
  • 2015-10-14 (xsd:date)
dbp:latestReleaseVersion
  • 2.600000 (xsd:double)
dbp:license
  • LGPL v2.1 (en)
dbp:name
  • NuSMV (en)
dbp:operatingSystem
dbp:programmingLanguage
dbp:website
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • NuSMV is a reimplementation and extension of SMV symbolic model checker, the first model checking tool based on Binary Decision Diagrams (BDDs).The tool has been designed as an open architecture for model checking. It is aimed at reliable verification of industrially sized designs, for use as a backend for other verification tools and as a research tool for formal verification techniques. NuSMV has been developed as a joint project between ITC-IRST ( in Trento, Italy), Carnegie Mellon University, the University of Genoa and the University of Trento. (en)
rdfs:label
  • NuSMV (en)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • NuSMV (en)
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License