| |
| 2008 | ||
|---|---|---|
| 3 | EE | Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390 |
| 2 | EE | Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480 |
| 2007 | ||
| 1 | EE | Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie: A buffer overflow benchmark for software model checkers. ASE 2007: 389-392 |
| 1 | Marsha Chechik | [1] [2] [3] |
| 2 | Arie Gurfinkel | [2] [3] |
| 3 | Thomas E. Hart | [1] [2] [3] |
| 4 | David Lie | [1] [2] [3] |