Tactical theorem proving in program verification (Q6488526): Difference between revisions

@@ Property / cites work @@
+Proving program inclusion using Hoare's logic
@@ Property / cites work: Proving program inclusion using Hoare's logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054648
@@ Property / cites work: Q4054648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692773
@@ Property / cites work: Q4692773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789101
@@ Property / cites work: Q3789101 / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / 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 @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766816
@@ Property / cites work: Q3766816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3826528
@@ Property / cites work: Q3826528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336725
@@ Property / cites work: Q3336725 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and Computation
@@ Property / cites work: Logic and Computation / rank @@
+Normal rank