Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.17798268 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <p>IncreGR1 is a sound and complete incremental reactive synthesis solution for GR(1) formulae, introduced in the paper <em>"IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae"</em>. It generates and recomputes only the <em>dirty</em> regions directly on the GR(1) intermediate. The modular structure of these intermediates not only makes it easier to delimit and recompute the scope of impact, but also enables <em><strong>IncreGR1</strong></em> to handle every possible modification type and multiple modifications in a unified procedure.</p> <p>We provide the artifact associated with this paper, comprising two components: (1) the experimental materials and (2) the implementation tool, <code>spectra-incregr1-v0.3.jar</code>, built on the Spectra toolset.</p> <pre>IncreGR1-Artifact/<br>├── Part1-OnWholeSyntechX # including RQ1 to RQ3<br>├── Part2-CmpWithGR1C # including RQ4<br>├── Readme.md # this file<br>└── spectra-incregr1-v0.3.jar # the implemented tool</pre> <p><span>In this paper, we also contribute and open-source the first benchmark designed specifically for evaluating incremental synthesis methods, named </span><span><strong><span>SyntechX</span></strong></span><span>. It is publicly available on </span><span><a href="https://doi.org/10.5281/zenodo.17798084"><span>Zenodo</span></a></span><span>.</span></p>