2 papers
cs.PL2026
Max-Policy Iteration, Revisited
David Monniaux, Helmut Seidl
Max-policy iteration is an approach to computing precise numeric program invariants by successive attempts at resolving maximum operators and reduction to mathematical optimization…
cs.LO2024
Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
David Monniaux
Formally verified compilers and formally verified static analyzers are a solution to the problem that certain industries face when they have to demonstrate to authorities that the…