TY  - RPRT
TI  - PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs
AU  - Anissa Kheireddine
AU  - Souheib Baarir
AU  - Hugo De Sa Pereira Pinto
PY  - 2026
UR  - https://arxiv.org/abs/2606.18977
ID  - 2606.18977
ER  -