A case study in the mechanical verification of fault tolerance (Q4783363): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising the logic of computer programming
@@ Property / cites work: Axiomatising the logic of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Coloring terms to control equational reasoning
@@ Property / cites work: Coloring terms to control equational reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of programs for fault-tolerance
@@ Property / cites work: Transformation of programs for fault-tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional framework for fault tolerance by specification transformation
+Normal rank