Journal: Formal Methods in System Design

Volume 39, Issue 3

229 -- 245Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis. Priority scheduling of distributed systems based on model checking
246 -- 260Isil Dillig, Thomas Dillig, Alex Aiken. Cuts from proofs: a complete and practical technique for solving linear inequalities over integers
261 -- 296Emmanuel Filiot, Naiyong Jin, Jean-François Raskin. Antichains and compositional algorithms for LTL synthesis
297 -- 331Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh. Verification of STM on relaxed memory models

Volume 39, Issue 2

115 -- 116Armin Biere, Karen Yorav. Preface
117 -- 143Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng. Exploring structural symmetry automatically in symbolic trajectory evaluation
144 -- 164Divjyot Sethi, Yogesh S. Mahajan, Sharad Malik. Specification and encoding of transaction interaction properties
165 -- 184Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès. Feasibility analysis for robustness quantification by symbolic model checking
185 -- 204Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker. Incremental preprocessing methods for use in BMC
205 -- 227Gianpiero Cabodi, Sergio Nocco, Stefano Quer. Benchmarking a model checker for algorithmic improvements and tuning for performance

Volume 39, Issue 1

47 -- 82Christoffer Sloth, Rafael Wisniewski. Verification of continuous dynamical systems by timed automata
83 -- 113Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer. Automatic analysis of DMA races using model checking and ::::k::::-induction