Journal: Formal Methods in System Design

Volume 29, Issue 3

215 -- 251Lars Michael Kristensen, K. Schmidt, Antti Valmari. Question-guided stubborn set methods for state properties
253 -- 293Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott. Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
295 -- 344Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook. Data structures for symbolic multi-valued model-checking

Volume 29, Issue 2

115 -- 116Lubos Brim, Martin Leucker. Foreword
117 -- 134Jiri Barnat, Ivana Cerná. Distributed breadth-first search LTL model checking
135 -- 155Cornelia P. Inggs, Howard Barringer. CTL:::*::: model checking on a shared-memory architecture
157 -- 175Orna Grumberg, Tamir Heyman, Assaf Schuster. A work-efficient distributed algorithm for reachability analysis
177 -- 196Alexander Bell, Boudewijn R. Haverkort. Distributed disk-based algorithms for model checking very large Markov chains
197 -- 214Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik. Dealing with practical limitations of distributed timed model checking for timed automata

Volume 29, Issue 1

1 -- 31Wan Fokkink, Jun Pang, Jaco van de Pol. Cones and foci: A mechanical framework for protocol verification
33 -- 78Marta Z. Kwiatkowska, Gethin J. Norman, David Parker, Jeremy Sproston. Performance analysis of probabilistic timed automata using digital clocks
79 -- 95Nicolas Halbwachs, David Merchat, Laure Gonnord. Some ways to reduce the space dimension in polyhedra computations
97 -- 114Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani. On using priced timed automata to achieve optimal scheduling