Login / Signup
SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems.
Bozena Wozna-Szczesniak
Published in:
EPIA (2013)
Keyphrases
</>
bounded model checking
model checking
temporal logic
formal verification
distributed systems
computer systems
complex systems
management system
sat solvers
linear temporal logic