VerifyThis (Q40353)
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 VerifyThis2018
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | VerifyThis |
AFP entry VerifyThis2018 |
Statements
Peter Lammich
0 references
Simon Wimmer
0 references
VerifyThis 2018 was a program verification competition associated with ETAPS 2018. It was the 7th event in the VerifyThis competition series. In this entry, we present polished and completed versions of our solutions that we created during the competition.
0 references
27 April 2018
0 references
VerifyThis 2018 - Polished Isabelle Solutions (English)
0 references
