Counterexamples from Proof Failures in SPARK.

David Hauzar, Claude March, Yannick Moy

Browse the full SEFM paper archive.