Invariant Generation

Loop Invariants and Algebraic Reasoning
Workshop On Loop Invariants and Algebraic Reasoning
(Un)Solvable Loop Analysis
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler …
D. Amrollahi, E. Bartocci, G. Kenison, L. Kovács, M. Moosbrugger, M. Stankovič
Cite DOI arXiv
Solving Invariant Generation for Unsolvable Loops
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.
May 23, 2023 1 min read
Solving Invariant Generation for Unsolvable Loops
Solving Invariant Generation for Unsolvable Loops
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler …
D. Amrollahi, E. Bartocci, G. Kenison, L. Kovács, M. Moosbrugger, M. Stankovič
Cite DOI arXiv