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