Towards Bounded Model Checking for the Universal Fragment of TCTL.

Wojciech Penczek Bozena Wozna Andrzej Zbrzezny

Published in: FTRTFT (2002)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
finite state
data sets
reinforcement learning
situation calculus
formal methods
model checker
epistemic logic
sequence prediction