On Automated Program Construction and Verification.
Rudolf BerghammerGeorg StruthPublished in: MPC (2010)
Keyphrases
- symbolic execution
- semi automated
- construction process
- hardware designs
- computer programs
- computer aided
- static analysis
- semi automatic
- data driven
- similarity measure
- database systems
- information systems
- test cases
- digital libraries
- model checking
- data sets
- computer assisted
- computer science
- automated analysis
- formal verification
- test data generation
- control program
- data mining
- databases