The CakeML project's quest for ever stronger correctness theorems
Paper i proceeding, 2021
Interactive theorem proving
Program verification
Författare
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 193 19783959771887 (ISBN)
Virtual, Rome, Italy,
Ämneskategorier
Datorteknik
Inbäddad systemteknik
Datorsystem
DOI
10.4230/LIPIcs.ITP.2021.1
ISBN
9783959771887