Interactive verification of concurrent systems using symbolic execution.
Simon BäumlerMichael BalserFlorian NafzWolfgang ReifGerhard SchellhornPublished in: AI Commun. (2010)
Keyphrases
- concurrent systems
- symbolic execution
- specification language
- formal specification
- temporal logic
- static analysis
- distributed systems
- model checking
- test data generation
- test generation
- process algebra
- petri net
- source code
- search space
- search algorithm
- neural network
- data flow
- test cases
- simulated annealing algorithm
- evolutionary algorithm
- information systems