Experiments in program verification using Event-B (Q432154): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-011-0205-4
@@ Property / DOI: 10.1007/s00165-011-0205-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProB
@@ Property / describes a project that uses: ProB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quicksort
@@ Property / describes a project that uses: Quicksort / 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.1007/s00165-011-0205-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2018217105
@@ Property / OpenAlex ID: W2018217105 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5703804
@@ Property / cites work: Q5703804 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Verification of Recursive Programs
@@ Property / cites work: Modular Verification of Recursive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+Q5294155
@@ Property / cites work: Q5294155 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Distributed cooperation with action systems
@@ Property / cites work: Distributed cooperation with action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+A synthesis of several sorting algorithms
@@ Property / cites work: A synthesis of several sorting algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a recursive program: Quicksort
@@ Property / cites work: Proof of a recursive program: Quicksort / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental System Modelling in Event-B
@@ Property / cites work: Incremental System Modelling in Event-B / rank @@
+Normal rank
@@ Property / cites work @@
+On the Purpose of Event-B Proof Obligations
@@ Property / cites work: On the Purpose of Event-B Proof Obligations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+The derivation of systolic computations
@@ Property / cites work: The derivation of systolic computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808845
@@ Property / cites work: Q4808845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-011-0205-4
@@ Property / DOI: 10.1007/S00165-011-0205-4 / rank @@
+Normal rank