Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180): 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 @@
+SPEED
@@ Property / describes a project that uses: SPEED / 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.1016/j.entcs.2012.10.007
+Normal rank
@@ Property / OpenAlex ID @@
+W1978376998
@@ Property / OpenAlex ID: W1978376998 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modular Static Analysis Approach to Affine Loop Invariants Detection
+Normal rank
@@ Property / cites work @@
+Computing the Transitive Closure of a Union of Affine Integer Tuple Relations
+Normal rank
@@ Property / cites work @@
+Convex Partitions of Polyhedra: A Lower Bound and Worst-Case Optimal Algorithm
+Normal rank
@@ Property / cites work @@
+Combining Widening and Acceleration in Linear Relation Analysis
+Normal rank
@@ Property / cites work @@
+SPEED: Symbolic Complexity Bound Analysis
@@ Property / cites work: SPEED: Symbolic Complexity Bound Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs
+Normal rank