PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs

Anissa Kheireddine, Souheib Baarir, Hugo De Sa Pereira Pinto

Proving termination or non-termination of lasso programs is a challenging problem in program verification. To unify state-of-the-art approaches under a common execution framework,…