1. Introductory paper

   • Thomas Arts
   • Jaco van de Pol

   Special section on formal methods for industrial critical systems 10 June 2005 Pages: 195 - 196

2. Integration of informal and formal development of object-oriented safety-critical software

   • Richard Bubel
   • Reiner Hähnle

   Special section on formal methods for industrial critical systems 14 December 2004 Pages: 197 - 211

3. An overview of JML tools and applications

   • Lilian Burdy
   • Yoonsik Cheon
   • Erik Poll

   Special section on formal methods for industrial critical systems 14 December 2004 Pages: 212 - 232

4. A verification approach to applied system security

   • Achim D. Brucker
   • Burkhart Wolff

   Special section on formal methods for industrial critical systems 25 January 2005 Pages: 233 - 247

5. prialt in Handel-C: an operational semantics

   • Andrew Butterfield
   • Jim Woodcock

   Special section on formal methods for industrial critical systems 25 January 2005 Pages: 248 - 267

6. Formal verification of fault tolerance in safety-critical reconfigurable modules

   • Jerker Hammarberg
   • Simin Nadjm-Tehrani

   Special section on formal methods for industrial critical systems 14 December 2004 Pages: 268 - 279

7. Distributed state space minimization

   • Stefan Blom
   • Simona Orzan

   Regular contribution 07 June 2005 Pages: 280 - 291