The CakeML project's quest for ever stronger correctness theorems
Paper in proceeding, 2021
Interactive theorem proving
Program verification
Author
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 193 19783959771887 (ISBN)
Virtual, Rome, Italy,
Subject Categories
Computer Engineering
Embedded Systems
Computer Systems
DOI
10.4230/LIPIcs.ITP.2021.1
ISBN
9783959771887