Login / Signup

SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems.

Bozena Wozna-SzczesniakAndrzej Zbrzezny
Published in: KES-AMSTA (2012)
Keyphrases
  • bounded model checking
  • model checking
  • temporal logic
  • formal verification
  • management system
  • linear temporal logic
  • markov chain
  • complex systems