Search Results - "binary code extraction"

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

Authors: Tan, Yong Kiam Heule, Marijn J.H. Myreen, Magnus

Source: International Journal on Software Tools for Technology Transfer. 25(2):167-184

Subject Terms: compositional proof checking, linear propagation redundancy, binary code extraction

File Description: electronic

Access URL: https://research.chalmers.se/publication/534843
https://research.chalmers.se/publication/534843/file/534843_Fulltext.pdf

cake_lpr: Verified Propagation Redundancy Checking in CakeML

Authors: Tan, Yong Kiam Heule, Marijn J. H. Myreen, Magnus

Source: Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Luxembourg City, Luxembourg Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 12652 LNCS:223-241

Subject Terms: linear propagation redundancy, binary code extraction

File Description: electronic

Access URL: https://research.chalmers.se/publication/527500
https://research.chalmers.se/publication/531575
https://research.chalmers.se/publication/531575/file/531575_Fulltext.pdf