User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.
Ziv NevoPublished in: Haifa Verification Conference (2008)
Keyphrases
- multi agent systems
- user friendly
- model checking
- epistemic logic
- temporal logic
- graphical interface
- deterministic finite automaton
- reachability analysis
- finite state
- user interface
- artificial intelligence
- ordered binary decision diagrams
- automated verification
- orders of magnitude
- formal methods
- finite state machines
- asynchronous circuits
- temporal properties
- symbolic model checking
- data mining techniques
- web services
- database
- partial order reduction