| Software Model-Checking as Cyclic-Proof Search | 0 | 0.34 | 2022 |
| Counterexample generation for program verification based on ownership refinement types | 0 | 0.34 | 2021 |
| A PROBABILISTIC HIGHER-ORDER FIXPOINT LOGIC | 0 | 0.34 | 2021 |
| Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination | 0 | 0.34 | 2021 |
| CPS transformation with affine types for call-by-value implicit polymorphism | 0 | 0.34 | 2021 |
| RustHorn: CHC-based Verification for Rust Programs | 0 | 0.34 | 2021 |
