Generalizing the Template Polyhedral Domain (Q3000579): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / 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 @@
+InvGen
@@ Property / describes a project that uses: InvGen / 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 / describes a project that uses @@
+Apron
@@ Property / describes a project that uses: Apron / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-19718-5_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1546399868
@@ Property / OpenAlex ID: W1546399868 / rank @@
+Normal rank
@@ Property / cites work @@
+Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
+Normal rank
@@ Property / cites work @@
+Q4411960
@@ Property / cites work: Q4411960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+A Reachability Predicate for Analyzing Low-Level Software
+Normal rank
@@ Property / cites work @@
+The octahedron abstract domain
@@ Property / cites work: The octahedron abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / 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 @@
+Logahedra: A New Weakly Relational Domain
@@ Property / cites work: Logahedra: A New Weakly Relational Domain / rank @@
+Normal rank
@@ Property / cites work @@
+On the identification of the convex hull of a finite set of points in the plane
+Normal rank
@@ Property / cites work @@
+Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+Q4529777
@@ Property / cites work: Q4529777 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Automatic Modular Abstractions for Template Numerical Constraints
+Normal rank
@@ Property / cites work @@
+Q5817857
@@ Property / cites work: Q5817857 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Program Analysis Using Symbolic Ranges
@@ Property / cites work: Program Analysis Using Symbolic Ranges / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3499221
@@ Property / cites work: Q3499221 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank