cake_lpr: Verified Propagation Redundancy Checking in CakeML
Paper in proceeding, 2021
linear propagation redundancy
binary code extraction
Author
Yong Kiam Tan
Carnegie Mellon University (CMU)
Marijn J. H. Heule
Carnegie Mellon University (CMU)
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 12652 LNCS 223-241978-3-030-72012-4 (ISBN)
Luxembourg City, Luxembourg,
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1007/978-3-030-72013-1_12
ISBN
9783030720124