Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae
Fuente:
Zenodo
Salvato in:
| Autori principali: | , , , , |
|---|---|
| Natura: | Recurso digital |
| Pubblicazione: |
Zenodo
2025
|
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866901069941964800 |
|---|---|
| author | wu, ziji huang, yu huang, peishan li, minglong wang, ji |
| author_facet | wu, ziji huang, yu huang, peishan li, minglong wang, ji |
| 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> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17798268 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae wu, ziji huang, yu huang, peishan li, minglong wang, ji <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> |
| title | Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae |
| url | https://doi.org/10.5281/zenodo.17798268 |