Symbolic verification method for definite iteration over data structures (Q1285767): Difference between revisions

@@ Property / cites work @@
+Q4136517
@@ Property / cites work: Q4136517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing specifications for uniformly implemented loops
+Normal rank
@@ Property / cites work @@
+Some ideas on data types in high-level languages
@@ Property / cites work: Some ideas on data types in high-level languages / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the for statement
@@ Property / cites work: A note on the for statement / rank @@
+Normal rank
@@ Property / cites work @@
+Q3038593
@@ Property / cites work: Q3038593 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of loop invariants in program verification
+Normal rank
@@ Property / cites work @@
+Symbolic method of verification of definite iterations over altered data structures
+Normal rank
@@ Property / cites work @@
+Reasoning about arrays
@@ Property / cites work: Reasoning about arrays / rank @@
+Normal rank