Counterexamples in Model Checking - A survey.

Published in: Informatica (Slovenia) (2018)

Keyphrases

model checking
temporal logic
formal verification
formal specification
finite state
computation tree logic

automated verification
model checker
partial order reduction
temporal properties
symbolic model checking
reachability analysis

pspace complete
timed automata
bounded model checking
finite state machines
epistemic logic
verification method

process algebra
transition systems
formal methods
asynchronous circuits
alternating time temporal logic
artificial intelligence