Matches in DBpedia 2014 for { <http://dbpedia.org/resource/NuSMV> ?p ?o. }
Showing items 1 to 44 of
44
with 100 items per page.
- NuSMV 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 (Istituto Trentino di Cultura 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.".
- NuSMV genre Model_checking.
- NuSMV latestReleaseVersion "2.5.4".
- NuSMV license LGPL_v2.1.
- NuSMV programmingLanguage ANSI_C.
- NuSMV wikiPageExternalLink nusmv-tools.
- NuSMV wikiPageExternalLink nusmv.fbk.eu.
- NuSMV wikiPageExternalLink www.fbk.eu.
- NuSMV wikiPageID "8989471".
- NuSMV wikiPageRevisionID "586667607".
- NuSMV developer "FBK-irst , CMU , The University of Genova , The University of Trento".
- NuSMV genre Model_checking.
- NuSMV hasPhotoCollection NuSMV.
- NuSMV latestReleaseVersion "2.5".
- NuSMV license LGPL_v2.1.
- NuSMV name "NuSMV".
- NuSMV operatingSystem Linux.
- NuSMV operatingSystem Microsoft_Windows.
- NuSMV operatingSystem OS_X.
- NuSMV programmingLanguage ANSI_C.
- NuSMV website nusmv.fbk.eu.
- NuSMV subject Category:Free_software_programmed_in_C.
- NuSMV subject Category:Model_checkers.
- NuSMV type Abstraction100002137.
- NuSMV type Code106355894.
- NuSMV type CodingSystem106353757.
- NuSMV type Communication100033020.
- NuSMV type Software106566077.
- NuSMV type Writing106359877.
- NuSMV type WrittenCommunication106349220.
- NuSMV type Software.
- NuSMV type Work.
- NuSMV type CreativeWork.
- NuSMV type InformationEntity.
- NuSMV 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.".
- NuSMV label "NuSMV".
- NuSMV sameAs m.027sj6l.
- NuSMV sameAs Q17072293.
- NuSMV sameAs Q17072293.
- NuSMV sameAs NuSMV.
- NuSMV wasDerivedFrom NuSMV?oldid=586667607.
- NuSMV homepage nusmv.fbk.eu.
- NuSMV isPrimaryTopicOf NuSMV.
- NuSMV name "NuSMV".