Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Model checking
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
30701102
(xsd:integer)
dbo:
wikiPageRevisionID
893319541
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commonscat
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Model checking
(en)
skos:
broader
dbc
:Finite_model_theory
dbc
:Formal_methods
skos:
prefLabel
Model checking
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Model_checking?oldid=893319541&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Reo_Coordination_Language
dbr
:Generalized_Büchi_automaton
dbr
:Timed_propositional_temporal_logic
dbr
:Timed_word
dbr
:Model_checking
dbr
:Murφ
dbr
:Clock_(model_checking)
dbr
:Büchi_automaton
dbr
:Linear_temporal_logic_to_Büchi_automaton
dbr
:Linear_time_property
dbr
:Alternating_timed_automaton
dbr
:Partial_order_reduction
dbr
:Region_(model_checking)
dbr
:Abstract_model_checking
dbr
:Binary_decision_diagram
dbr
:Kripke_structure_(model_checking)
dbr
:Modal_μ-calculus
dbr
:Metric_temporal_logic
dbr
:Symbolic_trajectory_evaluation
dbr
:Muller_automaton
dbr
:Signal_(model_checking)
dbr
:Safety_and_liveness_properties
dbr
:Safety_property
is
dcterms:
subject
of
dbr
:Reo_Coordination_Language
dbr
:Generalized_Büchi_automaton
dbr
:Timed_propositional_temporal_logic
dbr
:Timed_word
dbr
:Model_checking
dbr
:Murφ
dbr
:Clock_(model_checking)
dbr
:Büchi_automaton
dbr
:Linear_temporal_logic_to_Büchi_automaton
dbr
:Linear_time_property
dbr
:Alternating_timed_automaton
dbr
:Partial_order_reduction
dbr
:Region_(model_checking)
dbr
:Abstract_model_checking
dbr
:Binary_decision_diagram
dbr
:Kripke_structure_(model_checking)
dbr
:Modal_μ-calculus
dbr
:Metric_temporal_logic
dbr
:Symbolic_trajectory_evaluation
dbr
:Muller_automaton
dbr
:Signal_(model_checking)
dbr
:Safety_and_liveness_properties
dbr
:Safety_property
is
skos:
broader
of
dbc
:Transition_systems
dbc
:Model_checkers
dbc
:Temporal_logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License