Login / Signup
SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL.
Agnieszka M. Zbrzezny
Bozena Wozna-Szczesniak
Andrzej Zbrzezny
Published in:
AAMAS (2015)
Keyphrases
</>
bounded model checking
model checking
distributed systems
retrieval systems
computation tree logic
cooperative
search algorithm
complex systems
formal verification