Bounded Model Checking for the Universal Fragment of CTL.

Wojciech Penczek Bozena Wozna Andrzej Zbrzezny

Published in: Fundam. Informaticae (2002)

Keyphrases

bounded model checking
model checking
computation tree logic
formal verification
temporal logic
linear temporal logic
multi agent systems
formal specification
turing machine
temporal epistemic