形式化驗(yàn)證的代碼生成工具軟件ModelCoder在**關(guān)鍵領(lǐng)域，基于模型的軟件工程或者軟件開發(fā)已逐漸進(jìn)入了我國的裝備研制過程中。使用SimuLink或者SCADE等嵌入式軟件建模工具對算法或者控制邏輯進(jìn)行可視化建模，然后生成