[an error occurred while processing this directive]

Accepted papers


  • Bertrand Jeannet. Some Experience on the Software engineering of Abstract Interpretation Tools
  • Paul Feautrier and Laure Gonnord. Accelerated Invariant Generation for C Programs with Aspic and C2fsm
  • Cosimo Laneve, Tudor Lascu and Vania Sordoni. The interval analysis of multilinear expressions
  • Pierre Roux, Rémi Delmas and Pierre-Loic Garoche. SMT-AI: an Abstract Interpreter for a Synchronous Extension of SMT-lib
  • Piotr Filipiuk, Hanne Riis Nielson and Flemming Nielson. A tool suite for solving ALFP constraints