Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques.
Jicheng FuFarokh B. BastaniI-Ling YenPublished in: HASE (2008)
Keyphrases
- ai planning
- automated discovery
- high assurance
- integer programming
- heuristic search
- imperative programs
- planning under uncertainty
- operating system
- web service composition
- planning domains
- distributed systems
- planning problems
- software systems
- knowledge discovery
- fault tolerant
- planning systems
- service composition
- access control
- object oriented
- state space
- action models
- htn planning
- domain independent
- database
- macro operators
- data model
- query processing
- case study