External Links

    Journal: Formal Methods in System Design

    Volume 42, Issue 3

    221 -- 261Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger. Loop summarization using state and transition invariants
    262 -- 300S. Akshay, Benedikt Bollig, Paul Gastin. Event clock message passing automata: a logical characterization and an emptiness checking algorithm
    301 -- 327Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives

    Volume 42, Issue 2

    119 -- 145Étienne André, Laurent Fribourg, Jeremy Sproston. An extension of the inverse method to probabilistic timed automata
    146 -- 174Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman. Code aware resource management
    175 -- 192Kunihiko Hiraishi, Koichi Kobayashi. An approximation algorithm for box abstraction of transition systems on real state spaces
    193 -- 220Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane. Weighted modal transition systems

    Volume 42, Issue 1

    1 -- 2Ofer Strichman, Daniel Kroening. Preface to the special issue "SI: Satisfiability Modulo Theories"
    3 -- 23Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura. Efficiently solving quantified bit-vector formulas
    24 -- 45Silvio Ranise. Symbolic backward reachability with effectively propositional logic - Applications to security policy analysis
    46 -- 66Alessandro Cimatti, Sergio Mover, Stefano Tonetta. SMT-based scenario verification for hybrid systems
    67 -- 90Dejan Jovanovic, Clark Barrett. Being careful about theory combination
    91 -- 118Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli. SMT proof checking using a logical framework
    runs on