The following pages link to (Q4417895):
Displaying 6 items.
- Programs with lists are counter automata (Q537953) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- The Spotlight Principle (Q5452606) (← links)