Pages that link to "Item:Q1770359"
From MaRDI portal
The following pages link to An assertion-based proof system for multithreaded Java (Q1770359):
Displayed 9 items.
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057) (← links)
- A system for compositional verification of asynchronous objects (Q1951610) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- A program logic for resources (Q2463560) (← links)
- Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- A Proof System for a PGAS Language (Q5187828) (← links)