Pages that link to "Item:Q3568235"
From MaRDI portal
The following pages link to Interactive verification of concurrent systems using symbolic execution (Q3568235):
Displaying 7 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Formal Verification of a Lock-Free Stack with Hazard Pointers (Q3105753) (← links)
