eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
7
7
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Model checking
Model checking
Concept
http://dbpedia.org/resource/Category:Model_checking
Binary decision diagram
Kripke structure (model checking)
Reo Coordination Language
Abstraction model checking
Büchi automaton
Generalized Büchi automaton
Linear temporal logic to Büchi automaton
Modal μ-calculus
Model checking
Muller automaton
Partial order reduction
Stutter bisimulation
Symbolic trajectory evaluation
Temporal logic in finite-state verification
subject
Model checkers
Temporal logic
broader
Model checking
Concept
http://dbpedia.org/resource/Category:Model_checking
Wikipage page ID
30,701,102
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
452,929,578
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Model checking
@en
sameAs
Categoría:Verificación_de_modelos
Q8637035
Q8637035
broader
Finite model theory
Formal methods
prefLabel
Model checking
@en
wasDerivedFrom
Category:Model_checking?oldid=452929578