Rocksalt
From MaRDI portal
Software:35126
No author found.
Related Items (5)
Verified abstract interpretation techniques for disassembling low-level self-modifying code ⋮ Improved Tool Support for Machine-Code Decompilation in HOL4 ⋮ System-level non-interference of constant-time cryptography. I: Model ⋮ Modular verification of programs with effects and effects handlers ⋮ Bidirectional grammars for machine-code decoding and encoding
This page was built for software: Rocksalt
