欢迎访问OCRA的主页,这是一个用于验证嵌入式系统基于逻辑的合同细化的命令行工具。它支持基于组件的系统架构规范的规范和分析。组件通过离散或混合线性时间逻辑中指定的契约进行了丰富。OCRA由嵌入式系统单元属于FBK公司.它建在努Xmv和海康普模型检查器。它还集成在建模工具中自动聚焦3通过AF3-OCRA型插件。
7/02/2021OCRA 2.1.0是一个提供新时域的主要版本。还修复了几个错误。
更多信息在这里.下载在这里.