Clover: Closed-Loop Verifiable Code Generation.
Chuyue SunYing ShengOded PadonClark W. BarrettPublished in: CoRR (2023)
Keyphrases
- closed loop
- code generation
- open loop
- application development
- control system
- control scheme
- software development
- control law
- feedback control
- code generator
- modeling language
- parameter identification
- formal specification
- model driven
- rapid prototyping
- software reuse
- sufficient conditions
- asymptotic stability
- design patterns
- feedback controller
- databases
- web applications
- database systems
- computer aided
- flight test
- case study