Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/NuSMV> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples 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 wikiPageLength "4838".
- NuSMV wikiPageOutDegree "25".
- NuSMV wikiPageRevisionID "643668216".
- NuSMV wikiPageWikiLink ANSI_C.
- NuSMV wikiPageWikiLink Batch_mode.
- NuSMV wikiPageWikiLink Batch_processing.
- NuSMV wikiPageWikiLink Binary_Decision_Diagrams.
- NuSMV wikiPageWikiLink Binary_decision_diagram.
- NuSMV wikiPageWikiLink Boolean_satisfiability_problem.
- NuSMV wikiPageWikiLink CADP.
- NuSMV wikiPageWikiLink Carnegie_Mellon_University.
- NuSMV wikiPageWikiLink Category:Free_software_programmed_in_C.
- NuSMV wikiPageWikiLink Category:Model_checkers.
- NuSMV wikiPageWikiLink Computation_tree_logic.
- NuSMV wikiPageWikiLink Construction_and_Analysis_of_Distributed_Processes.
- NuSMV wikiPageWikiLink Istituto_Trentino_di_Cultura.
- NuSMV wikiPageWikiLink Italy.
- NuSMV wikiPageWikiLink LGPL_v2.1.
- NuSMV wikiPageWikiLink Linear_Temporal_Logic.
- NuSMV wikiPageWikiLink Linear_temporal_logic.
- NuSMV wikiPageWikiLink Linux.
- NuSMV wikiPageWikiLink Mac_OS_X.
- NuSMV wikiPageWikiLink Microsoft_Windows.
- NuSMV wikiPageWikiLink Model_checker.
- NuSMV wikiPageWikiLink Model_checking.
- NuSMV wikiPageWikiLink OS_X.
- NuSMV wikiPageWikiLink SPIN_model_checker.
- NuSMV wikiPageWikiLink Spin_Model_Checker.
- NuSMV wikiPageWikiLink Trento.
- NuSMV wikiPageWikiLink University_of_Genoa.
- NuSMV wikiPageWikiLink University_of_Trento.
- NuSMV wikiPageWikiLinkText "NuSMV".
- 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 Mac_OS_X.
- NuSMV operatingSystem Microsoft_Windows.
- NuSMV operatingSystem OS_X.
- NuSMV programmingLanguage ANSI_C.
- NuSMV website nusmv.fbk.eu.
- NuSMV wikiPageUsesTemplate Template:Infobox_software.
- NuSMV wikiPageUsesTemplate Template:Reflist.
- NuSMV subject Category:Free_software_programmed_in_C.
- NuSMV subject Category:Model_checkers.
- NuSMV type Software.
- NuSMV type Work.
- NuSMV type Tool.
- NuSMV type CreativeWork.
- NuSMV type Thing.
- NuSMV type Q386724.
- NuSMV type Q7397.
- 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 wasDerivedFrom NuSMV?oldid=643668216.
- NuSMV homepage nusmv.fbk.eu.
- NuSMV isPrimaryTopicOf NuSMV.
- NuSMV name "NuSMV".