sweap is a CEGAR-based tool for infinite-state reactive synthesis over linear integer arithmetic that supports multiple input formats and outperforms the prior ISSY tool in experiments.
In: 38th International Conference on Computer Aided Verification, CAV (2026)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
sweap: Reactive Synthesis for Infinite-State Integer Problems
sweap is a CEGAR-based tool for infinite-state reactive synthesis over linear integer arithmetic that supports multiple input formats and outperforms the prior ISSY tool in experiments.