The following pages link to TVLA (Q21857):
Displaying 5 items.
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- On the almighty wand (Q418137) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
