📋 下载信息如上所示 📱 积分兑换即可
🔐 1.关注公众号，领取解压密码
⚡ 2.链接问题请反馈，当天响应
📱 扫码关注 · 获取解压密码
安全关键嵌入式软件建模与验证工具，用于航电、汽车等领域控制软件的模型设计、仿真、形式化验证及代码自动生成。
- 图形化建模与仿真
- 形式化验证与模型检查
- 符合DO-178C的认证代码生成
当前版本：R1
© 版权声明
本站资源内容均来自互联网,本站只是搬运工，版权归原作者所有，如有侵权配合处理。
THE END
暂无评论内容