software . 2020

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

André, Etienne; Arias, Jaime; Petrucci, Laure; van de Pol, Jaco;
Open Source
  • Published: 21 Oct 2020
  • Publisher: Zenodo
Abstract
<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 prev...
Download fromView all 3 versions
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2020
Provider: Datacite
Any information missing or wrong?Report an Issue