你即將離開本站

並前往https://link.springer.com/chapter/10.1007/978-3-642-20398-5_33

Infer: An Automatic Program Verifier for Memory ... - SpringerLink

Infer is a new automatic program verification tool aimed at proving memory safety of C programs. It attempts to build a compositional proof of the program ...

確定！ 回上一頁

查詢 「Infer」的人也找了：

  1. infer中文
    2.
  2. infer用法
    3.
  3. inference中文
    4.
  4. Infer
    5.
  5. 推論英文infer
    6.
  6. inferred中文
    7.
  7. inference用法
    8.
  8. infer英文
    9.