(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…