Login / Signup
Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking.
Agnieszka M. Zbrzezny
Andrzej 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