Login / Signup

Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic.

Bozena Wozna-SzczesniakIreneusz SzczesniakAgnieszka ZbrzeznyAndrzej Zbrzezny
Published in: PRIMA (2014)
Keyphrases
  • computation tree logic
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • multi agent systems
  • linear temporal logic
  • state space
  • distributed systems
  • reactive systems