The Prusti Project: Formal Verification for Rust | 0 | 0.34 | 2022 |
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. | 0 | 0.34 | 2021 |
SL-COMP: Competition of Solvers for Separation Logic. | 0 | 0.34 | 2019 |
Effective Entailment Checking for Separation Logic with Inductive Definitions. | 0 | 0.34 | 2019 |
Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. | 0 | 0.34 | 2018 |
How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. | 0 | 0.34 | 2018 |
Harrsh - A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. | 0 | 0.34 | 2018 |
Heap Abstraction Beyond Context-Freeness. | 0 | 0.34 | 2017 |
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. | 0 | 0.34 | 2017 |
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. | 1 | 0.36 | 2017 |