Pages that link to "Item:Q3591397"
From MaRDI portal
The following pages link to Safety and Liveness in Concurrent Pointer Programs (Q3591397):
Displaying 5 items.
- Juggrnaut: using graph grammars for abstracting unbounded heap structures (Q746781) (← links)
- Verify heaps via unified model checking (Q1986561) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Safety-liveness exclusion in distributed computing (Q2796260) (← links)
- Using Unified Model Checking to Verify Heaps (Q2958361) (← links)