A system for compositional verification of asynchronous objects (Q1951610): Difference between revisions

@@ Property / cites work @@
+An assertion-based proof system for multithreaded Java
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539645
@@ Property / cites work: Q4539645 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
+Normal rank
@@ Property / cites work @@
+Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
+Normal rank
@@ Property / cites work @@
+Generating Unit Tests from Formal Proofs
@@ Property / cites work: Generating Unit Tests from Formal Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790344
@@ Property / cites work: Q4790344 / rank @@
+Normal rank
@@ Property / cites work @@
+Object-Oriented Specification and Open Distributed Systems
+Normal rank
@@ Property / cites work @@
+Creol: A type-safe object-oriented model for distributed concurrent systems
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / 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 @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Axiomatic semantics of communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
+Normal rank