Pages that link to "Item:Q4645747"
From MaRDI portal
The following pages link to Quantified Heap Invariants for Object-Oriented Programs (Q4645747):
Displayed 6 items.
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Reasoning in the theory of heap: satisfiability and interpolation (Q2119112) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- Solving constrained Horn clauses over algebraic data types (Q6174408) (← links)