This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK. - View it on GitHub