你即將離開本站

並前往https://www.cl.cam.ac.uk/~cp526/popl23.pdf

Verifying Systems C Code with Separation-Logic Refinement ...

CN: Verifying Systems C Code with Separation-Logic Refinement Types. 1:3. In this paper we describe the design of a verification tool, CN, ...

確定！ 回上一頁

查詢 「Code refinement」的人也找了：

  1. Refine code
    2.
  2. Refine source code
    3.