Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957): Difference between revisions

@@ Property / describes a project that uses @@
+Aspic
@@ Property / describes a project that uses: Aspic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Apron
@@ Property / describes a project that uses: Apron / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LLVM
@@ Property / describes a project that uses: LLVM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PPL
@@ Property / describes a project that uses: PPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASTREE
@@ Property / describes a project that uses: ASTREE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FAST
@@ Property / describes a project that uses: FAST / 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.1007/s10703-017-0310-y
+Normal rank
@@ Property / OpenAlex ID @@
+W4289233987
@@ Property / OpenAlex ID: W4289233987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813407
@@ Property / cites work: Q4813407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411960
@@ Property / cites work: Q4411960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting Induction by Extrapolation and Interpolation
+Normal rank
@@ Property / cites work @@
+Widening and narrowing operators for abstract interpretation
+Normal rank
@@ Property / cites work @@
+Automatically Refining Abstract Interpretations
@@ Property / cites work: Automatically Refining Abstract Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Widening and Acceleration in Linear Relation Analysis
+Normal rank
@@ Property / cites work @@
+Q4778705
@@ Property / cites work: Q4778705 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Guided Static Analysis
@@ Property / cites work: Guided Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Program Analysis with Local Policy Iteration
@@ Property / cites work: Program Analysis with Local Policy Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Widening with Thresholds for Programs with Complex Control Graphs
+Normal rank
@@ Property / cites work @@
+Stratified Static Analysis Based on Variable Dependencies
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Time Algorithm for Finding Minimum Cutsets in Reducible Graphs
+Normal rank
@@ Property / cites work @@
+Widening Polyhedra with Landmarks
@@ Property / cites work: Widening Polyhedra with Landmarks / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
+Normal rank