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