Pages that link to "Item:Q835783"
From MaRDI portal
The following pages link to Model checking dynamic memory allocation in operating systems (Q835783):
Displaying 4 items.
- Verify heaps via unified model checking (Q1986561) (← links)
- Using Unified Model Checking to Verify Heaps (Q2958361) (← links)
- Verified Runtime Assertion Checking for Memory Properties (Q6487262) (← links)
- A verified specification of TLSF memory management allocator using state monads (Q6535916) (← links)