AutoCorres2 (Q7361547)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry AutoCorres2
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | AutoCorres2 |
AFP entry AutoCorres2 |
Statements
17 April 2024
0 references
Matthew Brecknell
0 references
David Greenaway
0 references
Johannes Hölzl
0 references
Fabian Immler
0 references
Gerwin Klein
0 references
Rafal Kolanski
0 references
Japheth Lim
0 references
Michael Norrish
0 references
Norbert Schirmer
0 references
Salomon Sickert
0 references
Thomas Sewell
0 references
Harvey Tuch
0 references
Simon Wimmer
0 references
AutoCorres2 (English)
0 references
AutoCorres2 is a tool to facilitate the verification of C programs within Isabelle. It is a fork of AutoCorres .
0 references
