The following pages link to Static Analysis (Q5466578):
Displaying 17 items.
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- Property-directed incremental invariant generation (Q939166) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Incremental closure for systems of two variables per inequality (Q1733055) (← links)
- Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- A sums-of-squares extension of policy iterations (Q2406948) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Logahedra: A New Weakly Relational Domain (Q3648708) (← links)
- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction (Q5191104) (← links)
- Invariant Synthesis for Combined Theories (Q5452621) (← links)
- Automatically Refining Abstract Interpretations (Q5458344) (← links)
- Acceleration in Convex Data-Flow Analysis (Q5458862) (← links)
