Výsledky vyhledávání - "binary code extraction"

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

Autoři: Tan, Yong Kiam Heule, Marijn J.H. Myreen, Magnus

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

Témata: compositional proof checking, linear propagation redundancy, binary code extraction

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/534843
https://research.chalmers.se/publication/534843/file/534843_Fulltext.pdf

cake_lpr: Verified Propagation Redundancy Checking in CakeML

Autoři: Tan, Yong Kiam Heule, Marijn J. H. Myreen, Magnus

Zdroj: 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

Témata: linear propagation redundancy, binary code extraction

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/527500
https://research.chalmers.se/publication/531575
https://research.chalmers.se/publication/531575/file/531575_Fulltext.pdf