Interactive Verification of Concurrent Systems using Symbolic Execution.
Michael BalserSimon BäumlerWolfgang ReifGerhard SchellhornPublished in: LPAR Workshops (2008)
Keyphrases
- concurrent systems
- symbolic execution
- specification language
- formal specification
- distributed systems
- temporal logic
- test generation
- model checking
- process algebra
- static analysis
- test data generation
- source code
- petri net
- data flow
- data sets
- software architecture
- genetic programming
- open source
- high level
- decision trees
- web services