First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013
Published in: VPT@CAV (2013)
Keyphrases
- state university
- lecture notes
- symbolic execution
- hardware designs
- model checking
- computer programs
- formal verification
- search algorithm
- computer science
- artificial neural networks
- high level
- lecture notes in artificial intelligence
- information retrieval
- transformation rules
- test generation
- data mining
- neural network