Counterexample- and simulation-guided floating-point loop invariant synthesis (Q2233532): Difference between revisions

@@ Property / cites work @@
+Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
+Normal rank
@@ Property / cites work @@
+Q3503410
@@ Property / cites work: Q3503410 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Circular Compositional Program Proofs via Abduction
+Normal rank
@@ Property / cites work @@
+Learning inductive invariants by sampling from frequency distributions
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical invariants through convex relaxation and max-strategy iteration
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+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 @@
+Synthesizing Invariants by Solving Solvable Loops
@@ Property / cites work: Synthesizing Invariants by Solving Solvable Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation
+Normal rank
@@ Property / cites work @@
+Integrating Policy Iterations in Abstract Interpreters
+Normal rank
@@ Property / cites work @@
+Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+A Data Driven Approach for Algebraic Loop Invariants
+Normal rank
@@ Property / cites work @@
+Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
+Normal rank