SMT-Based Bounded Model Checking for Weighted Epistemic ECTL.

Agnieszka M. Zbrzezny Bozena Wozna-Szczesniak Andrzej Zbrzezny

Published in: EPIA (2015)

Keyphrases

bounded model checking
computation tree logic
model checking
temporal epistemic
formal verification
temporal logic
linear temporal logic
multi agent systems
epistemic logic
model checker
natural language
orders of magnitude
formal specification
finite state