Mechanical inference of invariants for FOR-loops (Q604381): Difference between revisions

@@ Property / describes a project that uses @@
+KeY
@@ Property / describes a project that uses: KeY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2008.11.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2035919470
@@ Property / OpenAlex ID: W2035919470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343983
@@ Property / cites work: Q4343983 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Synthesis of Inductive Assertions
@@ Property / cites work: A Note on Synthesis of Inductive Assertions / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+A Heuristic for Deriving Loop Functions
@@ Property / cites work: A Heuristic for Deriving Loop Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The Determination of Loop Invariants for Programs with Arrays
+Normal rank
@@ Property / cites work @@
+Q4023189
@@ Property / cites work: Q4023189 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate abstraction for software verification
@@ Property / cites work: Predicate abstraction for software verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692507
@@ Property / cites work: Q4692507 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on a standard strategy for developing loop invariants and loops
+Normal rank
@@ Property / cites work @@
+Generating algebraic laws from imperative programs
+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 @@
+Logical analysis of programs
@@ Property / cites work: Logical analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Strongest invariant functions: Their use in the systematic analysis of while statements
+Normal rank
@@ Property / cites work @@
+Some Aspects of the Verification of Loop Computations
+Normal rank
@@ Property / cites work @@
+Subgoal induction
@@ Property / cites work: Subgoal induction / rank @@
+Normal rank
@@ Property / cites work @@
+Computing polynomial program invariants
@@ Property / cites work: Computing polynomial program invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of polynomial invariants of bounded degree using abstract interpretation
+Normal rank
@@ Property / cites work @@
+ADI: Automatic Derivation of Invariants
@@ Property / cites work: ADI: Automatic Derivation of Invariants / rank @@
+Normal rank
@@ Property / cites work @@
+The synthesis of loop predicates
@@ Property / cites work: The synthesis of loop predicates / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:604381