Login / Signup

Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking.

Agnieszka M. ZbrzeznyAndrzej Zbrzezny
Published in: PRIMA (2016)
Keyphrases
  • bounded model checking
  • real time
  • model checking
  • temporal logic
  • formal verification
  • low cost
  • control system
  • linear temporal logic
  • information retrieval
  • domain specific
  • formal specification