Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"

Name: Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
Creator: LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France; Aarhus University, Aarhus, Denmark; Université de Lorraine, CNRS, Inria, LORIA, Nancy, France
Published: 2022-07-07T00:00:00+08:00

Zenodo2022-07-07 更新2026-04-07 收录

形式化验证

参数化时间自动机

数据链接：

https://zenodo.org/record/6806914 数据链接链接失效反馈

官方服务：

资源简介：

This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" It comes in the form of two archives: <strong>merging-artifact.zip</strong>: the whole set of benchmarks with the scripts to run <strong>merging-artifact-FORMATS22-results.zip</strong>: all results executed 5 times

提供机构：

LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France; Aarhus University, Aarhus, Denmark; Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

创建时间：

2022-07-07