安全关键嵌入式软件建模与验证工具，用于航空、汽车等领域的控制逻辑设计、仿真、形式化验证及认证级代码生成。图形化数据流与状态机建模模型仿真与覆盖率分析形式化验证与安全属性检查符合DO-1...