AutoCorres2

MaRDI QIDQ7361547FDO

Authors 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, Simon Wimmer

Publication date 17 April 2024

Cites work

• Bridging the Gap: Automatic Verified Abstraction of C
• Isabelle/HOL. A proof assistant for higher-order logic

Cited in

(1)

• Munta: A Verified Model Checker for Timed Automata

This page was built for software: AutoCorres2