Pages that link to "Item:Q3591397"

The following pages link to Safety and Liveness in Concurrent Pointer Programs (Q3591397):

Displaying 4 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)
• Using Unified Model Checking to Verify Heaps (Q2958361) (← links)