Branching Temporal Logic of Calls and Returns for Pushdown Systems.

Huu-Vu Nguyen Tayssir Touili

Published in: CoRR (2018)

Keyphrases

temporal logic
model checking
reactive systems
dynamic constraints
satisfiability problem
symbolic model checking
formal methods
verification method
concurrent systems
np complete
temporal properties
bounded model checking
expert systems
linear temporal logic