External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 267, Issue 2

    1 -- 0David Delmas, Xavier Rival. Preface
    3 -- 13Paul Feautrier, Laure Gonnord. Accelerated Invariant Generation for C Programs with Aspic and C2fsm
    15 -- 28Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson. Explicit Versus Symbolic Algorithms for Solving ALFP Constraints
    29 -- 42Bertrand Jeannet. Some Experience on the Software Engineering of Abstract Interpretation Tools
    43 -- 53Cosimo Laneve, Tudor A. Lascu, Vania Sordoni. The Interval Analysis of Multilinear Expressions
    55 -- 68Pierre Roux, Remi Delmas, Pierre-Loïc Garoche. SMT-AI: an Abstract Interpreter as Oracle for k-induction
    runs on