Invariant Generation

I am co-organising a workshop in July 2025: Loop Invariants and Algebraic Reasoning (see here). To participate in-person, please register for the workshop through ICALP’s registration portal. To participate remotely over Zoom, please contact me for further details.

Workshop On Loop Invariants and Algebraic Reasoning

Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler …

Marcel Moosbrugger presented our joint work (see here) on invariant generation for unsolvable loops at the ACM SIGPLAN 29th Static Analysis Symposium (SAS 2022). Abstract Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler optimisation, is a challenging open problem.

Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler …