Semantics-based generation of verification conditions via program specialization.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: Sci. Comput. Program. (2017)
Keyphrases
- symbolic execution
- hardware designs
- sufficient conditions
- neural network
- static analysis
- computer programs
- program execution
- model checking
- databases
- data sets
- data structure
- temporal logic
- database
- artificial intelligence
- formal verification
- test generation
- fingerprint verification
- data mining
- control program
- verification method