Login / Signup
DIVINE: Explicit-State LTL Model Checker - (Competition Contribution).
Vladimír Still
Petr Rockai
Jiri Barnat
Published in:
TACAS (2016)
Keyphrases
</>
model checking
model checker
temporal logic
transition systems
formal verification
formal specification
reinforcement learning
data model
artificial intelligence