The Prusti Project: Formal Verification for Rust | 0 | 0.34 | 2022 |
REST: Integrating Term Rewriting with Program Verification | 0 | 0.34 | 2022 |
Reframing the Liskov substitution principle through the lens of testing. | 0 | 0.34 | 2021 |
Local Reasoning for Global Graph Properties. | 0 | 0.34 | 2020 |
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. | 0 | 0.34 | 2019 |
Automating Deductive Verification for Weak-Memory Programs. | 0 | 0.34 | 2018 |
Lightweight Support for Magic Wands in an Automatic Verifier (Artifact). | 0 | 0.34 | 2015 |
The Relationship Between Separation Logic and Implicit Dynamic Frames | 0 | 0.34 | 2012 |