An Iterative Method for Generating Loop Invariants (Q3004678): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-21204-8_29
+Normal rank
@@ Property / OpenAlex ID @@
+W115316089
@@ Property / OpenAlex ID: W115316089 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Generating Polynomial Invariants with DISCOVERER and QEPCAD
+Normal rank
@@ Property / cites work @@
+Generating all polynomial invariants in simple loops
+Normal rank
@@ Property / cites work @@
+Static analysis. 11th international symposium, SAS 2004, Verona, Italy, August 26--28, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Reasoning Algebraically About P-Solvable Loops
@@ Property / cites work: Reasoning Algebraically About P-Solvable Loops / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+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 @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank