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