Clover: Closed-Loop Verifiable Code Generation.
Chuyue SunYing ShengOded PadonClark W. BarrettPublished in: SAIV (2014)
Keyphrases
- closed loop
- code generation
- open loop
- application development
- control law
- feedback control
- control system
- software development
- control scheme
- code generator
- modeling language
- parameter identification
- model driven
- asymptotic stability
- formal specification
- software reuse
- sufficient conditions
- design patterns
- rapid prototyping
- software engineering
- feedback controller
- development process
- software systems
- data processing
- database