Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953): Difference between revisions

@@ Property / cites work @@
+Grids: A Domain for Analyzing the Distribution of Numerical Values
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Leaping Loops in the Presence of Abstraction
@@ Property / cites work: Leaping Loops in the Presence of Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement-Based CFG Reconstruction from Unstructured Programs
+Normal rank
@@ Property / cites work @@
+Range and Set Abstraction using SAT
@@ Property / cites work: Range and Set Abstraction using SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494380
@@ Property / cites work: Q4494380 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Abstraction for Intervals Using Boolean Formulae
+Normal rank
@@ Property / cites work @@
+Transfer Function Synthesis without Quantifier Elimination
+Normal rank
@@ Property / cites work @@
+Logic programming with satisfiability
@@ Property / cites work: Logic programming with satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Why does Astrée scale up?
@@ Property / cites work: Why does Astrée scale up? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037382
@@ Property / cites work: Q4037382 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for numeric analysis of array operations
+Normal rank
@@ Property / cites work @@
+Static analysis of arithmetical congruences
@@ Property / cites work: Static analysis of arithmetical congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736342
@@ Property / cites work: Q2736342 / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting abstract interpreters to quantified logical domains
+Normal rank
@@ Property / cites work @@
+Model checking JAVA programs using JAVA PathFinder
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
+Normal rank
@@ Property / cites work @@
+Inferring Congruence Equations Using SAT
@@ Property / cites work: Inferring Congruence Equations Using SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Abstraction for Congruences
@@ Property / cites work: Automatic Abstraction for Congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Loop Summarization Using Abstract Transformers
@@ Property / cites work: Loop Summarization Using Abstract Transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
+Normal rank
@@ Property / cites work @@
+Automatic modular abstractions for linear constraints
+Normal rank
@@ Property / cites work @@
+Automatic Modular Abstractions for Template Numerical Constraints
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Application of static analyses for state-space reduction to the microcontroller binary code
+Normal rank
@@ Property / cites work @@
+Splitting the Control Flow with Boolean Flags
@@ Property / cites work: Splitting the Control Flow with Boolean Flags / rank @@
+Normal rank
@@ Property / cites work @@
+Taming the Wrapping of Integer Arithmetic
@@ Property / cites work: Taming the Wrapping of Integer Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+The two variable per inequality abstract domain
@@ Property / cites work: The two variable per inequality abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank