About: List of model checking tools

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

This article lists model checking tools and gives an overview of the functionality of each.

Property	Value
dbo:abstract	This article lists model checking tools and gives an overview of the functionality of each. (en)
dbo:wikiPageExternalLink	http://mcc.lip6.fr/models.php https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md http://cadp.inria.fr/resources/vlts/ http://cadp.inria.fr/resources/zoo https://web.archive.org/web/20151106214218/http:/anna.fi.muni.cz/yahoda/
dbo:wikiPageID	24594156 (xsd:integer)
dbo:wikiPageLength	15547 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1116444445 (xsd:integer)
dbo:wikiPageWikiLink	dbc:Lists_of_software dbr:Property_Specification_Language dbr:Romeo_Model_Checker dbr:FDR2 dbr:MCRL2 dbr:CADP dbr:Bourne_shell dbc:Formal_methods_tools dbr:DREAM_(software) dbr:Uppaal_Model_Checker dbr:Μ-calculus dbr:E-LOTOS dbr:Invariant_(mathematics) dbr:Promela dbr:Construction_and_Analysis_of_Distributed_Processes dbr:SPIN_model_checker dbr:Model_checking dbr:Murφ dbr:Calculus_of_communicating_systems dbr:Communicating_sequential_processes dbr:Computation_tree_logic dbr:PEPA dbr:Temporal_logic_of_actions dbr:BLAST_model_checker dbr:C++ dbr:C++_(programming_language) dbr:C_(programming_language) dbr:C_Sharp_(programming_language) dbr:Tk_(software) dbr:Language_Of_Temporal_Ordering_Specification dbr:Linear_temporal_logic dbr:AltaRica dbr:NuSMV dbr:PAT_(model_checker) dbr:Java_(programming_language) dbr:Java_Pathfinder dbr:Tcl dbr:SystemVerilog dbr:TAPAAL_Model_Checker dbr:TLA+ dbc:Model_checkers dbr:CPAchecker dbr:OCaml dbr:Modal_μ-calculus dbr:Symbolic_model_verification dbr:PlusCal dbr:Probabilistic_CTL dbr:TAPAs_model_checker dbr:Timed_automaton dbr:Assertion_(computing) dbr:PRISM_(model_checker) dbr:Tcl/tk dbr:Murphi dbr:Hardware_Model_Checking_Competition dbr:Model_Checking_Contest
dbp:wikiPageUsesTemplate	dbt:Free dbt:No dbt:Reflist dbt:Short_description dbt:Yes
dcterms:subject	dbc:Lists_of_software dbc:Formal_methods_tools dbc:Model_checkers
rdfs:comment	This article lists model checking tools and gives an overview of the functionality of each. (en)
rdfs:label	List of model checking tools (en)
owl:sameAs	wikidata:List of model checking tools https://global.dbpedia.org/id/4r7iP
prov:wasDerivedFrom	wikipedia-en:List_of_model_checking_tools?oldid=1116444445&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:List_of_model_checking_tools
is dbo:wikiPageRedirects of	dbr:List_of_Model_Checking_Tools
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:Murφ dbr:Formal_verification dbr:Well-formed_formula dbr:Abstract_model_checking dbr:List_of_Model_Checking_Tools
is foaf:primaryTopic of	wikipedia-en:List_of_model_checking_tools