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