Matthew Brecknell, David Greenaway, Johannes Hölzl 📧, Fabian Immler 📧, Gerwin Klein 📧, Rafal Kolanski 📧, Japheth Lim, Michael Norrish, Norbert Schirmer 📧, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer

April 17, 2024

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


AutoCorres2 is a tool to facilitate the verification of C programs within Isabelle. It is a fork of AutoCorres.


BSD License


Session AutoCorres2

Session AutoCorres2_Main

Session AutoCorres2_Test