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