The following pages link to Programming Languages and Systems (Q5308687):
Displayed 14 items.
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Discovering invariants via simple component analysis (Q435979) (← links)
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342) (← links)
- Why does Astrée scale up? (Q845249) (← links)
- Termination of floating-point computations (Q850498) (← links)
- The octagon abstract domain (Q853733) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- The abstract domain of trapezoid step functions (Q1749121) (← links)
- Verifying constant-time implementations by abstract interpretation (Q2167720) (← links)
- Counterexample- and simulation-guided floating-point loop invariant synthesis (Q2233532) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- A sums-of-squares extension of policy iterations (Q2406948) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)