Compositional reasoning for shared-variable concurrent programs (Q2024370): Difference between revisions

@@ Property / author @@
-Shang-Wei Lin
@@ Property / author: Shang-Wei Lin / rank @@
-Normal rank
@@ Property / author @@
+Shang-Wei Lin
@@ Property / author: Shang-Wei Lin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2548853769
@@ Property / OpenAlex ID: W2548853769 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00574
@@ Property / arXiv ID: 1611.00574 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Local proofs for global safety properties
@@ Property / cites work: Local proofs for global safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738361
@@ Property / cites work: Q4738361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426384
@@ Property / cites work: Q4426384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037382
@@ Property / cites work: Q4037382 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate abstraction and refinement for verifying multi-threaded programs
+Normal rank
@@ Property / cites work @@
+Boxes: A Symbolic Abstract Domain of Boxes
@@ Property / cites work: Boxes: A Symbolic Abstract Domain of Boxes / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Verifying a Compiler for Java Threads
@@ Property / cites work: Verifying a Compiler for Java Threads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037380
@@ Property / cites work: Q4037380 / rank @@
+Normal rank
@@ Property / cites work @@
+The Rely-Guarantee method for verifying shared variable concurrent programs
+Normal rank
@@ Property / cites work @@
+Compositional reasoning for shared-variable concurrent programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2024370