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

@@ 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