| No. |
Title |
Author |
Year |
|---|
| 1 |
REST: Integrating Term Rewriting with Program Verification |
Grannan, Zachary et al. |
2022 |
| 2 |
REST: Integrating Term Rewriting with Program Verification (Artifact) |
Grannan, Zachary et al. |
2022 |
| 3 |
Lightweight Support for Magic Wands in an Automatic Verifier |
Schwerhoff, Malte et al. |
2015 |
| 4 |
Lightweight Support for Magic Wands in an Automatic Verifier (Artifact) |
Schwerhoff, Malte et al. |
2015 |
| 5 |
Software Verification "Across the Stack" (Invited Talk) |
Summers, Alexander J. |
2015 |
| 6 |
A Unified Framework for Verification Techniques for Object Invariants |
Drossopoulou, Sophia et al. |
2008 |
