The Design and Algorithms of a Verification Condition Generator
Radu GrigorePublished in: CoRR (2012)
Keyphrases
- design process
- learning algorithm
- data structure
- computationally efficient
- design decisions
- case study
- user interface
- significant improvement
- data sets
- computational complexity
- orders of magnitude
- computational efficiency
- recommender systems
- optimization problems
- theoretical analysis
- software architecture
- efficient implementation
- formal methods