Login / Signup

Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking.

Agnieszka M. ZbrzeznyAndrzej Zbrzezny
Published in: PRIMA (2015)
Keyphrases
  • bounded model checking
  • multi agent
  • management system
  • expert systems
  • distributed systems
  • computer systems
  • business processes
  • complex systems
  • search strategies
  • software components