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

@@ Property / DOI @@
-.1016/j.scico.2010.08.003
@@ Property / DOI: 10.1016/j.scico.2010.08.003 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ANTLR
@@ Property / describes a project that uses: ANTLR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KeYmaera
@@ Property / describes a project that uses: KeYmaera / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASMKeY
@@ Property / describes a project that uses: ASMKeY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KeY-C
@@ Property / describes a project that uses: KeY-C / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KRAKATOA
@@ Property / describes a project that uses: KRAKATOA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Caduceus
@@ Property / describes a project that uses: Caduceus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ESC/Java
@@ Property / describes a project that uses: ESC/Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Creol
@@ Property / describes a project that uses: Creol / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2010.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2016286256
@@ Property / OpenAlex ID: W2016286256 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.SCICO.2010.08.003
@@ Property / DOI: 10.1016/J.SCICO.2010.08.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1951610