Model Checking for the Full Hybrid Computation Tree Logic.

Daniel Kernberger Martin Lange

Published in: TIME (2016)

Keyphrases

computation tree logic
model checking
temporal logic
bounded model checking
model checker
formal verification
formal specification
epistemic logic
temporal properties
finite state
formal methods
finite state machines
symbolic model checking
transition systems
concurrent systems
minimal change
cooperative