External Links

    Journal: Formal Methods in System Design

    Volume 53, Issue 2

    165 -- 0Xavier Rival. Foreword
    166 -- 188Chaoqiang Deng, Kedar S. Namjoshi. Securing a compiler transformation
    189 -- 220Kihong Heo, Hakjoo Oh, Hongseok Yang. Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
    221 -- 258Matthieu Journault, Antoine Miné. Inferring functional properties of matrix manipulating programs by abstract interpretation
    259 -- 285Francesco Ranzato. Abstracting Nash equilibria of supermodular games
    286 -- 312Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan. Validating numerical semidefinite programming solvers for polynomial invariants
    313 -- 338Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler. Enforcing termination of interprocedural analysis
    runs on