Model checking dynamic pushdown networks.

Fu Song Tayssir Touili

Published in: Formal Aspects Comput. (2015)

Keyphrases

model checking
temporal logic
formal verification
model checker
finite state
finite state machines
formal specification
partial order reduction

temporal properties
automated verification
process algebra
reachability analysis
dynamic analysis
verification method
symbolic model checking
computation tree logic

bounded model checking
asynchronous circuits
epistemic logic
concurrent systems
pspace complete
timed automata
transition systems

linear temporal logic
formal methods
modal logic
np hard
social networks
artificial intelligence
deterministic finite automaton