SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract).

Bozena Wozna-Szczesniak

Published in: CS&P (2014)

Keyphrases

extended abstract
bounded model checking
model checking
temporal logic
formal verification
distributed systems
complex systems
cooperative
expert systems
state space
answer set programming
representation language
linear temporal logic