List of model checking tools

http://dbpedia.org/resource/List_of_model_checking_tools

This article lists model checking tools and gives an overview of the functionality of each. rdf:langString
rdf:langString List of model checking tools
xsd:integer 24594156
xsd:integer 1116444445
rdf:langString This article lists model checking tools and gives an overview of the functionality of each.
xsd:nonNegativeInteger 15547
dbpedia:Category:Lists_of_software
dbpedia:Category:Formal_methods_tools
dbpedia:Category:Model_checkers
dbpedia:Category:Lists_of_software
dbpedia:Property_Specification_Language
dbpedia:Romeo_Model_Checker
dbpedia:FDR2
dbpedia:MCRL2
dbpedia:CADP
dbpedia:Bourne_shell
dbpedia:Category:Formal_methods_tools
dbpedia:DREAM_(software)
dbpedia:Uppaal_Model_Checker
dbpedia:Μ-calculus
dbpedia:E-LOTOS
dbpedia:Invariant_(mathematics)
dbpedia:Promela
dbpedia:Construction_and_Analysis_of_Distributed_Processes
dbpedia:SPIN_model_checker
dbpedia:Model_checking
dbpedia:Murφ
dbpedia:Calculus_of_communicating_systems
dbpedia:Communicating_sequential_processes
dbpedia:Computation_tree_logic
dbpedia:PEPA
dbpedia:Temporal_logic_of_actions
dbpedia:BLAST_model_checker
dbpedia:C++
dbpedia:C++_(programming_language)
dbpedia:C_(programming_language)
dbpedia:C_Sharp_(programming_language)
dbpedia:Tk_(software)
dbpedia:Language_Of_Temporal_Ordering_Specification
dbpedia:Linear_temporal_logic
dbpedia:AltaRica
dbpedia:NuSMV
dbpedia:PAT_(model_checker)
dbpedia:Java_(programming_language)
dbpedia:Java_Pathfinder
dbpedia:Tcl
dbpedia:SystemVerilog
dbpedia:TAPAAL_Model_Checker
dbpedia:TLA+
dbpedia:Category:Model_checkers
dbpedia:CPAchecker
dbpedia:OCaml
dbpedia:Modal_μ-calculus
dbpedia:Symbolic_model_verification
dbpedia:PlusCal
dbpedia:Probabilistic_CTL
dbpedia:TAPAs_model_checker
dbpedia:Timed_automaton
dbpedia:Assertion_(computing)
dbpedia:PRISM_(model_checker)
dbpedia:Tcl/tk
dbpedia:Murphi
dbpedia:Hardware_Model_Checking_Competition
dbpedia:Model_Checking_Contest
<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/>
<http://www.wikidata.org/entity/Q6628882>
<https://global.dbpedia.org/id/4r7iP>
dbpedia:Template:Free
dbpedia:Template:No
dbpedia:Template:Reflist
dbpedia:Template:Short_description
dbpedia:Template:Yes
<http://en.wikipedia.org/wiki/List_of_model_checking_tools?oldid=1116444445&ns=0>
<http://en.wikipedia.org/wiki/List_of_model_checking_tools>

data from the linked data cloud