1 paper · 2 filters
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…