Pages that link to "Item:Q2863833"
From MaRDI portal
The following pages link to Verifying concurrent data structures by simulation (Q2863833):
Displaying 8 items.
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- Testing and verifying concurrent objects (Q1803302) (← links)
- Verifying correctness of persistent concurrent data structures: a sound and complete method (Q1982636) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Computer Aided Verification (Q5312907) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464482) (← links)