1. Introductory paper

   • Jaco van de Pol

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 105 - 106

2. Lightweight coarse-grained coordination: a scalable system-level approach

   • Tiziana Margaria
   • Bernhard Steffen

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 107 - 123

3. Validation and automatic test generation on UML models: the AGATHA approach

   • David Lugato
   • Céline Bigot
   • François Terrier

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 124 - 139

4. Model-based testing for real

   • A. Pretschner
   • O. Slotosch
   • S. Kriebel

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 140 - 157

5. Counter-example generation in symbolic abstract model-checking

   • Gordon Pace
   • Nicolas Halbwachs
   • Pascal Raymond

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 158 - 164

6. αSPIN: A tool for abstract model checking

   • María del Mar Gallardo
   • Jesús Martínez
   • Ernesto Pimentel

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 165 - 184

7. Efficient reduction of finite state model checking to reachability analysis

   • Viktor Schuppan
   • Armin Biere

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 185 - 204

8. Development of a verified Erlang program for resource locking

   • Thomas Arts
   • Clara Benac Earle
   • John Derrick

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 205 - 220

9. Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM

   • Conrado Daws
   • Marta Kwiatkowska
   • Gethin Norman

   Special section on formal methods for industrial critical systems 01 March 2004 Pages: 221 - 236

10. Properties of two’s complement floating point notations

    • Sylvie Boldo
    • Marc Daumas

    Special section on formal methods for industrial critical systems 01 March 2004 Pages: 237 - 246

11. Directed explicit-state model checking in the validation of communication protocols

    • Stefan Edelkamp
    • Stefan Leue
    • Alberto Lluch-Lafuente

    Regular contribution 01 March 2004 Pages: 247 - 267

12. Covering sharing trees: a compact data structure for parameterized verification

    • Giorgio Delzanno
    • Jean-François Raskin
    • Laurent Van Begin

    Regular contribution 01 March 2004 Pages: 268 - 297