Compositional verification of a communication protocol for a remotely operated aircraft (Q2442952): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / 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.2011.10.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2161339269
@@ Property / OpenAlex ID: W2161339269 / rank @@
+Normal rank
@@ Property / cites work @@
+Three snippets of curve evolution theory in computer vision
+Normal rank
@@ Property / cites work @@
+The sliding-window protocol revisited
@@ Property / cites work: The sliding-window protocol revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Specification of Communication Protocols
+Normal rank
@@ Property / cites work @@
+An incremental specification of the sliding-window protocol
+Normal rank
@@ Property / cites work @@
+Verification of a sliding window protocol in \(\mu\) CRL and PVS
+Normal rank
@@ Property / cites work @@
+Q4417917
@@ Property / cites work: Q4417917 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+The Rely-Guarantee method for verifying shared variable concurrent programs
+Normal rank
@@ Property / cites work @@
+Q4417904
@@ Property / cites work: Q4417904 / rank @@
+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
@@ Property / cites work @@
+Composing invariants
@@ Property / cites work: Composing invariants / rank @@
+Normal rank