Introductory paper Jaco van de Pol Special section on formal methods for industrial critical systems 01 March 2004 Pages: 105 - 106
Lightweight coarse-grained coordination: a scalable system-level approach Tiziana MargariaBernhard Steffen Special section on formal methods for industrial critical systems 01 March 2004 Pages: 107 - 123
Validation and automatic test generation on UML models: the AGATHA approach David LugatoCéline BigotFrançois Terrier Special section on formal methods for industrial critical systems 01 March 2004 Pages: 124 - 139
Model-based testing for real A. PretschnerO. SlotoschS. Kriebel Special section on formal methods for industrial critical systems 01 March 2004 Pages: 140 - 157
Counter-example generation in symbolic abstract model-checking Gordon PaceNicolas HalbwachsPascal Raymond Special section on formal methods for industrial critical systems 01 March 2004 Pages: 158 - 164
αSPIN: A tool for abstract model checking María del Mar GallardoJesús MartínezErnesto Pimentel Special section on formal methods for industrial critical systems 01 March 2004 Pages: 165 - 184
Efficient reduction of finite state model checking to reachability analysis Viktor SchuppanArmin Biere Special section on formal methods for industrial critical systems 01 March 2004 Pages: 185 - 204
Development of a verified Erlang program for resource locking Thomas ArtsClara Benac EarleJohn Derrick Special section on formal methods for industrial critical systems 01 March 2004 Pages: 205 - 220
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM Conrado DawsMarta KwiatkowskaGethin Norman Special section on formal methods for industrial critical systems 01 March 2004 Pages: 221 - 236
Properties of two’s complement floating point notations Sylvie BoldoMarc Daumas Special section on formal methods for industrial critical systems 01 March 2004 Pages: 237 - 246
Directed explicit-state model checking in the validation of communication protocols Stefan EdelkampStefan LeueAlberto Lluch-Lafuente Regular contribution 01 March 2004 Pages: 247 - 267
Covering sharing trees: a compact data structure for parameterized verification Giorgio DelzannoJean-François RaskinLaurent Van Begin Regular contribution 01 March 2004 Pages: 268 - 297