Proving linearizability with temporal logic (Q539223): Difference between revisions

@@ Property / cites work @@
+Comparison Under Abstraction for Verifying Linearizability
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5291078
@@ Property / cites work: Q5291078 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive verification of concurrent systems using symbolic execution
+Normal rank
@@ Property / cites work @@
+Thread Quantification for Concurrent Shape Analysis
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
+Normal rank
@@ Property / cites work @@
+Q2863833
@@ Property / cites work: Q2863833 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Safety Checking for Fine-Grained Concurrency
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Linearizability Via Non-atomic Refinement
@@ Property / cites work: Proving Linearizability Via Non-atomic Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Trace-based derivation of a scalable lock-free stack algorithm
+Normal rank
@@ Property / cites work @@
+Lock-free parallel and concurrent garbage collection by mark\&sweep
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement verification of the lazy caching algorithm
+Normal rank
@@ Property / cites work @@
+A scalable lock-free stack algorithm
@@ Property / cites work: A scalable lock-free stack algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Assumption/guarantee specifications in linear-time temporal logic
+Normal rank
@@ Property / cites work @@
+Q3024875
@@ Property / cites work: Q3024875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417904
@@ Property / cites work: Q4417904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524764
@@ Property / cites work: Q4524764 / rank @@
+Normal rank
@@ Property / cites work @@
+Shape-Value Abstraction for Verifying Linearizability
+Normal rank
@@ Property / cites work @@
+A Marriage of Rely/Guarantee and Separation Logic
@@ Property / cites work: A Marriage of Rely/Guarantee and Separation Logic / rank @@
+Normal rank