Automatically Refining Abstract Interpretations (Q5458344): Difference between revisions

@@ Property / author @@
-Sriram K. Rajamani
@@ Property / author: Sriram K. Rajamani / rank @@
-Normal rank
@@ Property / author @@
+Sriram K. Rajamani
@@ Property / author: Sriram K. Rajamani / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / 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 @@
+ARMC
@@ Property / describes a project that uses: ARMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dagger
@@ Property / describes a project that uses: Dagger / 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-540-78800-3_33
+Normal rank
@@ Property / OpenAlex ID @@
+W2168496583
@@ Property / OpenAlex ID: W2168496583 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4813407
@@ Property / cites work: Q4813407 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Automatically Refining Abstract Interpretations
@@ Property / cites work: Automatically Refining Abstract Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Solving for Interpolation
@@ Property / cites work: Constraint Solving for Interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
+Normal rank