Stratified Static Analysis Based on Variable Dependencies (Q5170182): Difference between revisions

@@ Property / cites work @@
+Precise widening operators for convex polyhedra
@@ Property / cites work: Precise widening operators for convex polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Widening and narrowing operators for abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis by Policy Iteration on Relational Domains
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Some ways to reduce the space dimension in polyhedra computations
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A minimalistic look at widening operators
@@ Property / cites work: A minimalistic look at widening operators / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Modular Abstractions for Template Numerical Constraints
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Widening Polyhedra with Landmarks
@@ Property / cites work: Widening Polyhedra with Landmarks / rank @@
+Normal rank
@@ Property / cites work @@
+Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank