About: Abstract model checking

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Variable_(mathematics) dbc:Model_checking dbr:Automated_theorem_proving dbr:Abstract_interpretation dbr:Computation_tree_logic dbr:Mathematics dbr:Galois_connection dbr:Abstract_space dbr:Computer_science dbr:List_of_model_checking_tools dbr:Formal_verification dbr:Program_analysis_(computer_science) dbr:State_space dbr:Static_code_analysis
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Cite_journal dbt:Cmn
dct:subject	dbc:Model_checking
rdfs:label	Abstract model checking (en)
owl:sameAs	wikidata:Abstract model checking dbpedia-global:Abstract model checking
prov:wasDerivedFrom	wikipedia-en:Abstract_model_checking?oldid=1226529485&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Abstract_model_checking
is dbo:wikiPageRedirects of	dbr:Abstraction_model_checking
is dbo:wikiPageWikiLink of	dbr:Abstraction_model_checking
is foaf:primaryTopic of	wikipedia-en:Abstract_model_checking

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International