Pages that link to "Item:Q4649295"
From MaRDI portal
The following pages link to Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data (Q4649295):
Displaying 4 items.
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Counterexample Validation and Interpolation-Based Refinement for Forest Automata (Q2961572) (← links)
- Predicate Abstraction in Program Verification: Survey and Current Trends (Q5240105) (← links)
