你即將離開本站

並前往https://arxiv.org/abs/2108.03178

[2108.03178] Transformation-Enabled Precondition Inference

We present a novel iterative method for automatically deriving preconditions for the safety and unsafety of programs. Each iteration maintains ...

確定！ 回上一頁

查詢 「Precondition」的人也找了：

  1. precondition用法
    2.
  2. preconditioning中文
    3.
  3. Precondition Test
    4.
  4. Precondition postcondition
    5.
  5. JEDEC precondition
    6.
  6. Postcondition
    7.
  7. Prerequisite
    8.
  8. Preconditions
    9.