Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Polar: An Algebraic Analyzer for (Probabilistic) Loops
Marcel Moosbrugger, Julian Müllner, Ezio Bartocci +1
We present the Polar framework for fully automating the analysis of classical and probabilistic loops using algebraic reasoning. The central theme in Polar comes with handling alge…
cs.PL2024
(Un)Solvable Loop Analysis
Daneshvar Amrollahi, Ezio Bartocci, George Kenison +3
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler optimisation, is a challenging open problem. Whilst the…