• 1
• 0
• 1

邱宝/codegeneration

本项目致力于实现基于AADL模型到ADA和C代码的生成，以及coq语言的语义一致性证明代码。