Pages that link to "Item:Q3512503"
From MaRDI portal
The following pages link to Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503):
Displayed 6 items.
- Programs with lists are counter automata (Q537953) (← links)
- Forest automata for verification of heap manipulation (Q2441715) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)