Parametric Timed Model Checking Benchmark Library
收藏arXiv2018-12-20 更新2024-06-21 收录
下载链接：
https://www.imitator.fr/library.html
下载链接
链接失效反馈官方服务：
资源简介：
Parametric Timed Model Checking Benchmark Library是由法国巴黎第十三大学LIPN实验室创建的数据集，旨在为参数化定时模型检查提供基准测试。该数据集包含34个基准，涵盖学术和工业案例，以及现有技术无法解决的示例。数据集内容丰富，包括硬件异步电路、通信协议、实时系统等领域的模型。创建过程中，数据集聚焦于参数化定时模型，支持多种类型的属性分析。应用领域广泛，旨在解决实时系统中的硬时序约束和并发性验证问题。
提供机构：
法国巴黎第十三大学，LIPN，CNRS，UMR 7030，法国维勒塔讷斯
创建时间：
2018-12-20
