NuSMV - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Software Model checking tool
rdfs:label	NuSMV
owl:sameAs	dbr:NuSMV
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Lists_of_software http://en.wikipedia.org/wiki/List_of_model_checking_tools http://en.wikipedia.org/wiki/Model_checking
skos:prefLabel	NuSMV
clgo:developer	University of Trento University of Genoa
clgo:genre	Model checking
clgo:latestReleaseDate	2015-10-14
clgo:latestReleaseVersion	2.6.0
clgo:license	GNU Lesser General Public License
clgo:programmingLanguage	ANSI C

About: clgr:NuSMV