Interfacing Program Construction and Verification.
Richard VerhoevenRoland Carl BackhousePublished in: World Congress on Formal Methods (1999)
Keyphrases
- symbolic execution
- computer programs
- model checking
- real time
- face verification
- information systems
- information retrieval
- databases
- programming environment
- verification method
- database
- hardware designs
- social networks
- image processing
- relational databases
- artificial intelligence
- control flow
- signature verification
- test generation
- program execution