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