The following pages link to (Q4140351):
Displaying 13 items.
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols (Q968361) (← links)
- A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057) (← links)
- Recursive assertions and parallel programs (Q1140981) (← links)
- Arithmetical completeness in first-order dynamic logic for concurrent programs (Q1155351) (← links)
- Recursive assertions are not enough - or are they? (Q1252031) (← links)
- Program invariants as fixedpoints (Q1254848) (← links)
- Proving partial order properties (Q1322161) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Revisiting concurrent separation logic (Q2397039) (← links)
- Current methods for proving program correctness (Q3911363) (← links)
- Reasoning about Recursive Processes in Shared-Variable Concurrency (Q5187824) (← links)
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs (Q5428915) (← links)
