Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.
Nicolas RapinPublished in: TAP@TOOLS (2009)
Keyphrases
- model checking
- open systems
- symbolic execution
- specification language
- formal specification
- temporal logic
- static analysis
- autonomous agents
- test data generation
- model checker
- test generation
- multiagent systems
- data flow
- bounded model checking
- formal verification
- verification method
- cognitive agents
- source code
- epistemic logic
- computation tree logic
- formal methods
- mobile communication
- planning domains
- data model
- genetic algorithm