Automatic generation of invariants and intermediate assertions (Q1391929): Difference between revisions

@@ Property / cites work @@
+On the mechanical derivation of loop invariants
@@ Property / cites work: On the mechanical derivation of loop invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Logical analysis of programs
@@ Property / cites work: Logical analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4053123
@@ Property / cites work: Q4053123 / rank @@
+Normal rank