Verifying Concurrent Systems with Symbolic Execution.
Michael BalserChristoph DuelliWolfgang ReifGerhard SchellhornPublished in: J. Log. Comput. (2002)
Keyphrases
- concurrent systems
- symbolic execution
- model checking
- formal specification
- specification language
- temporal logic
- static analysis
- test generation
- test data generation
- process algebra
- distributed systems
- source code
- petri net
- data flow
- formal methods
- test cases
- orders of magnitude
- fine grained
- knowledge management
- search algorithm
- artificial intelligence
- data sets
- database