Counterexample Guided Path Reduction for Static Program Analysis (Q5187836): Difference between revisions

@@ Property / describes a project that uses @@
+Orion
@@ Property / describes a project that uses: Orion / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Goanna
@@ Property / describes a project that uses: Goanna / 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/978-3-642-11512-7_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1490031831
@@ Property / OpenAlex ID: W1490031831 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Q4426387
@@ Property / cites work: Q4426387 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
+Normal rank
@@ Property / cites work @@
+Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank