Semantics-based generation of verification conditions by program specialization.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: PPDP (2015)
Keyphrases
- symbolic execution
- sufficient conditions
- hardware designs
- model checking
- static analysis
- computer vision
- expert systems
- generation process
- computer programs
- environmental conditions
- advanced research projects agency
- database
- functional verification
- signature verification
- face verification
- evolutionary algorithm
- computer science
- multi agent
- feature selection
- artificial intelligence
- learning algorithm