实时系统参数验证工具
各维度得分依据公开资料与字段推算,加权后即综合评分,仅供参考。
IMITATOR是一款面向实时系统领域的专业开源形式化验证工具，核心能力为参数综合分析，基于Étienne André与Romain Soulat提出的逆方法开发，相关理论已整理为专业著作《The Inverse Method》由ISTE与Wiley出版。该工具自2012年起持续迭代更新，多次在CAV、Petri Nets、ESWEEK等国际顶级形式化方法学术会议做工具展示、论文发表与实操教程，在形式化验证学术圈与工业级实时系统验证场景具备较高认可度。
该工具的核心能力围绕参数化实时系统验证展开，2019年至2022年的版本迭代新增了大量实用功能：变量类型方面支持列表、数组、栈、队列等离散全局复杂类型，同时新增布尔、整数基础类型，支持二进制字位运算；算法层面覆盖NDFS-based循环综合、多速率参数化时间自动机分析、最优时间可达性计算、参数化死锁检测、参数化区域外推优化等多个方向，还推出了实验性的分布式非芝诺空性检查能力；辅助功能方面支持图形化反例路径生成、Uppaal语法转换、语法快速检查，同时提供#include子模型引入、if-then-else条件等语法扩展，官方还重构了基准测试库，便于用户验证算法效果。
IMITATOR为完全开源免费工具，无任何付费版本或功能限制，全功能开放下载使用，源码完整托管于GitHub平台。用户可直接从官网下载最新版本，也可基于源码二次开发。
该工具仅适合形式化方法研究人员、实时系统安全验证工程师、计算机科学相关方向的学者与研究生使用，不适合普通开发场景。当前抓取内容未提及中国访问限制相关信息，访问情况未知。
本测评基于公开资料整理,不构成购买建议,请以 imitator.fr 官网实际信息为准。
免费学术软件，适合形式化验证研究。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。