Journal: Formal Methods in System Design

Volume 35, Issue 3

227 -- 228Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang. Foreword: Special issue on numerical software verification
229 -- 264Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival. Why does Astrée scale up?
265 -- 278Matthieu Martel. Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
325 -- 367Tuba Yavuz-Kahveci, Tevfik Bultan. Action Language verifier: an infinite-state model checker for reactive software specifications
369 -- 387Byron Cook, Andreas Podelski, Andrey Rybalchenko. Summarization for termination: no return!
389 -- 401Mirko Conrad. Testing-based translation validation of generated code in the context of IEC 61508

Volume 35, Issue 2

121 -- 151Laura Bozzelli, Salvatore La Torre. Decision problems for lower/upper bound parametric timed automata
152 -- 189Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz. Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
190 -- 225Alain Girault, Éric Rutten. Automating the addition of fault tolerance with discrete controller synthesis

Volume 35, Issue 1

1 -- 0Aarti Gupta, Sharad Malik. Preface
4 -- 5Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi. The 2008 CAV Award citation
6 -- 39Himanshu Jain, Edmund M. Clarke, Orna Grumberg. Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
40 -- 55Cindy Eisner, Amir Nahir, Karen Yorav. Functional verification of power gated designs by compositional reasoning
56 -- 72Per Bjesse. Word level bitwidth reduction for unbounded hardware model checking
73 -- 97Akash Lal, Thomas W. Reps. Reducing concurrent analysis under a context bound to sequential analysis
98 -- 120André Platzer, Edmund M. Clarke. Computing differential invariants of hybrid systems as fixedpoints