Branching Temporal Logic of Calls and Returns for Pushdown Systems.

Huu-Vu Nguyen Tayssir Touili

Published in: IFM (2018)

Keyphrases

temporal logic
model checking
dynamic constraints
modal logic
reactive systems
linear temporal logic
bounded model checking
formal methods
transition systems
reinforcement learning
expert systems
knowledge based systems
finite state