PaSTTeL is a new parallel framework that unifies termination and non-termination analysis for lasso programs through concurrent strategy execution and modular design.
Ultimate Automizer with Two-track Proofs , year =
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
-
PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs
PaSTTeL is a new parallel framework that unifies termination and non-termination analysis for lasso programs through concurrent strategy execution and modular design.