1 search result for "author:"Georgy Lukyanov""

Showing 1 - 1
  1. coq-katamaran

    No documentation

    Separation logic-based verification of instruction sets
    keyword:program verification keyword:separation logic keyword:symbolic execution keyword:instruction sets category:Computer Science/Semantics and Compilation/Semantics data:2022-07-19 logpath:Katamaran
    Dominique Devriese Georgy Lukyanov Sander Huyghebaert Steven Keuchel
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    21 Oct 2022