Výsledky vyhledávání - "binary code extraction"
-
1
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
ISSN: 1433-2779, 1433-2787, 1433-2787Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2023Vydáno v 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…”
Získat plný text
Journal Article -
2
cake_lpr: Verified Propagation Redundancy Checking in CakeML
ISBN: 3030720128, 9783030720124ISSN: 1611-3349, 0302-9743Vydáno: 2021Vydáno v 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…”
Získat plný text
Konferenční příspěvek
