Verified characteristic formulae for CakeML
Paper in proceeding, 2017
Author
A. Guéneau
Ecole Normale Superieure (ENS)
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
M. Norrish
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 10201 LNCS 584-610Subject Categories
Computer Science
DOI
10.1007/978-3-662-54434-1_22