About: Model checkers

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

Property	Value
dbo:wikiPageID	8232149 (xsd:integer)
dbo:wikiPageRevisionID	413363687 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Model checkers (en)
skos:broader	dbc:Formal_methods_tools dbc:Mathematical_software dbc:Model_checking dbc:Systems_biology
skos:prefLabel	Model checkers (en)
prov:wasDerivedFrom	wikipedia-en:Category:Model_checkers?oldid=413363687&ns=14
is dbo:wikiPageWikiLink of	dbr:Romeo_Model_Checker dbr:MCRL2 dbr:Uppaal_Model_Checker dbr:Libdmc dbr:List_of_model_checking_tools dbr:Promela dbr:Construction_and_Analysis_of_Distributed_Processes dbr:SPIN_model_checker dbr:MALPAS_Software_Static_Analysis_Toolset dbr:BLAST_model_checker dbr:FDR_(software) dbr:NuSMV dbr:PAT_(model_checker) dbr:PRISM_model_checker dbr:TAPAAL_Model_Checker dbr:TAPAs_model_checker
is dcterms:subject of	dbr:Romeo_Model_Checker dbr:MCRL2 dbr:Uppaal_Model_Checker dbr:Libdmc dbr:List_of_model_checking_tools dbr:Promela dbr:Construction_and_Analysis_of_Distributed_Processes dbr:SPIN_model_checker dbr:MALPAS_Software_Static_Analysis_Toolset dbr:BLAST_model_checker dbr:FDR_(software) dbr:NuSMV dbr:PAT_(model_checker) dbr:PRISM_model_checker dbr:TAPAAL_Model_Checker dbr:TAPAs_model_checker

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License