Attribute annotations and their use in C program deductive verification.
M. M. AtuchinIgor S. AnureevPublished in: Autom. Control. Comput. Sci. (2012)
Keyphrases
- functional programs
- symbolic execution
- hardware designs
- case study
- semantic annotation
- attribute values
- deductive reasoning
- information retrieval
- knowledge representation
- programming language
- image classification
- test cases
- neural network
- keywords
- static analysis
- programming environment
- test generation
- program execution
- control program
- website
- artificial intelligence