Issue 3/2007
Special issue of Selected Papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria; Guest Editors: Andrew Butterfield, Juan C. Bicarregui and Alvaro Arenas
Content (6 Articles)
Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria
Andrew Butterfield, Juan C. Bicarregui, Alvaro Arenas
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Martin Fränzle, Christian Herde
Early verification and validation of mission critical systems
C. Ponsard, P. Massonet, J. F. Molderez, A. Rifaut, A. van Lamsweerde, H. Tran Van