NSAD 2012 Accepted Papers

Antoine Miné. Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations

Eric Goubault, Tristan Le Gall and Sylvie Putot. An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations

Damien Masse. Proving termination by policy iteration

Jędrzej Fulara. Generic Abstraction of Dictionaries and Arrays

Francesca Scozzari and Gianluca Amato. The abstract domain of parallelotopes

Eva Beckschulze, Joerg Brauer and Stefan Kowalewski. Access-Based Localization for Octagons

Mehdi Bouaziz. TreeKs: A Functor to make Numerical Abstract Domains Scalable