Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.

Lars Gesellensetter, Sabine Glesner, Elke Salecker

Browse the full FMICS paper archive.