安全关键嵌入式软件建模与验证工具，用于航电、汽车等领域控制软件的模型设计、仿真、形式化验证及代码自动生成。图形化建模与仿真形式化验证与模型检查符合DO-178C的认证代码生成增强形式化验...