Abstract Dependency Graphs and Their Application to Model Checking.

Søren Enevoldsen Kim Guldstrand Larsen Jirí Srba

Published in: TACAS (1) (2019)

Keyphrases

model checking
dependency graphs
temporal logic
formal verification
finite state
automated verification

transition systems
abstract interpretation
model checker
temporal properties
computation tree logic
epistemic logic

reactive systems
pspace complete
verification method
linear temporal logic
formal methods
reachability analysis

bounded model checking
description language
formal specification
finite state machines
alternating time temporal logic
partial order reduction