| 177 | -- | 178 | Andrew Butterfield, Juan Bicarregui, Alvaro Arenas. Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria |
| 179 | -- | 198 | Martin Fränzle, Christian Herde. HySAT: An efficient proof engine for bounded model checking of hybrid systems |
| 199 | -- | 216 | Yunja Choi. From NuSMV to SPIN: Experiences with model checking flight guidance systems |
| 217 | -- | 232 | Akram Idani, Yves Ledru. Object oriented concepts identification from formal B specifications |
| 233 | -- | 247 | Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van. Early verification and validation of mission critical systems |
| 249 | -- | 273 | Miguel Valero Espada, Jaco van de Pol. An abstract interpretation toolkit for µCRL |