法国巴黎第十三大学 发布 Parametric Timed Model Checking Benchmark Library 数据集, 应用在 定时模型检查、实时系统 领域

法国巴黎第十三大学 本次发布的数据集 Parametric Timed Model Checking Benchmark Library, Parametric Timed Model Checking Benchmark Library是由法国巴黎第十三大学LIPN实验室创建的数据集，旨在为参数化定时模型检查提供基准测试。该数据集包含34个基准，涵盖学术和工业案例，以及现有技术无法解决的示例。数据集内容丰富，包括硬件异步电路、通信协议、实时系统等领域的模型。创建过程中，数据集聚焦于参数化定时模型，支持多种类型的属性分析。应用领域广泛，旨在解决实时系统中的硬时序约束和并发性验证问题。

查看Parametric Timed Model Checking Benchmark Library

关于 法国巴黎第十三大学 , 法国巴黎第十三大学（Université Paris 13），也称为北方巴黎大学，是法国巴黎的一所公立大学，专注于科学、技术和健康领域的教育与研究。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。