安全关键嵌入式软件建模与验证工具，用于航空、汽车、铁路等领域的控制软件形式化开发与自动代码生成图形化数据流与状态机建模形式化验证与模型检查符合DO-178C等标准的认证代码生成当前版本：R...