4115919
doi
10.5281/zenodo.4115919
oai:zenodo.org:4115919
Arias, Jaime
LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, France
Petrucci, Laure
LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, France
van de Pol, Jaco
Computer Science Department, University of Aarhus, Denmark
Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata
André, Etienne
Université de Lorraine, CNRS, Inria, LORIA, Nancy, France
info:eu-repo/semantics/openAccess
GNU General Public License v3.0 only
https://www.gnu.org/licenses/gpl-3.0-standalone.html
<p>The artifact contains the latest version (3.0.0) of the imitator software (https://www.imitator.fr) which provides new implementation and heuristics for cycle detection in Parametric Timed Automata.<br>
The paper presents the different algorithms at stake, studies their termination and completeness properties, and compares them through experiments. The algorithms cover BFS (Breadth-First Search) and several variants of NDFS (Nested Depth First Search), including an iterative deepening approach, in the parametric setting. It finally tackles properties of the BRP (Bounded Retransmission Protocol) parametric model, synthesising more liberal constraints than previous works.</p>
<p>This artifact contains the means to reproduce the experimental results from the paper. The scripts provided in the artifact allow for obtaining the cycle detection results in tables 1 and 2. An additional script launches the experiments on the BRP case study, in the same order as they are detailed in section 6 of the paper.<br>
The artifact also provides the source files as well as the necessary libraries for compilation, and a pre-compiled version of the tool.</p>
<p>Zenodo link: https://doi.org/10.5281/zenodo.4115919<br>
Gitlab link: https://depot.lipn.univ-paris13.fr/imitator/papers/tacas21</p>
Zenodo
2020-10-21
info:eu-repo/semantics/other
4115918
1603758416.462426
170272759
md5:2af048a0bfd9c686211e2d29e7b88618
https://zenodo.org/records/4115919/files/tacas21-artifact.zip
public
10.5281/zenodo.4115918
isVersionOf
doi