Search Results - "binary code extraction"
-
1
cake_lpr: Verified Propagation Redundancy Checking in CakeML
ISBN: 3030720128, 9783030720124ISSN: 1611-3349, 0302-9743Published: 2021Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2021)“…Modern SAT solvers can emit independently checkable proof certificates to validate their results. The state-of-the-art proof system that allows for compact…”
Get full text
Conference Proceeding
-
2
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
ISSN: 1433-2779, 1433-2787, 1433-2787Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2023Published in International journal on software tools for technology transfer (01.04.2023)“…Modern SAT solvers can emit independently-checkable proof certificates to validate their results. The state-of-the-art proof system that allows for compact…”
Get full text
Journal Article