Pages that link to "Item:Q5898616"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898616):
Displayed 5 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Verification of multi-linked heaps (Q439948) (← links)
- Towards Complete Reasoning about Axiomatic Specifications (Q3075488) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598) (← links)