Volume 30, Issue 3

Search all Formal Methods in System Design articles

June 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

6 articles in this issue

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
EditorialNotes 29 December 2006 Pages: 177 - 178
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Martin Fränzle
Christian Herde
OriginalPaper 21 December 2006 Pages: 179 - 198
From NuSMV to SPIN: Experiences with model checking flight guidance systems
Yunja Choi
OriginalPaper 03 January 2007 Pages: 199 - 216
Object oriented concepts identification from formal B specifications
Akram Idani
Yves Ledru
OriginalPaper 21 December 2006 Pages: 217 - 232
Early verification and validation of mission critical systems
C. Ponsard
P. Massonet
H. Tran Van
OriginalPaper 21 December 2006 Pages: 233 - 247
An abstract interpretation toolkit for μCRL
Miguel Valero Espada
Jaco van de Pol
OriginalPaper 29 December 2006 Pages: 249 - 273

Volume 30, Issue 3

Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria

HySAT: An efficient proof engine for bounded model checking of hybrid systems

From NuSMV to SPIN: Experiences with model checking flight guidance systems

Object oriented concepts identification from formal B specifications

Early verification and validation of mission critical systems

An abstract interpretation toolkit for μCRL

Search

Navigation