Volume 7, Issue 3, June 2005

Special section on formal methods for industrial critical systems

ISSN: 1433-2779 (Print) 1433-2787 (Online)

In this issue (7 articles)

  1. No Access

    Special section on formal methods for industrial critical systems

    Introductory paper

    Thomas Arts, Jaco van de Pol Pages 195-196
  2. No Access

    Special section on formal methods for industrial critical systems

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

    Richard Bubel, Reiner Hähnle Pages 197-211
  3. No Access

    Special section on formal methods for industrial critical systems

    An overview of JML tools and applications

    Lilian Burdy, Yoonsik Cheon, David R. Cok Pages 212-232
  4. No Access

    Special section on formal methods for industrial critical systems

    A verification approach to applied system security

    Achim D. Brucker, Burkhart Wolff Pages 233-247
  5. No Access

    Special section on formal methods for industrial critical systems

    prialt in Handel-C: an operational semantics

    Andrew Butterfield, Jim Woodcock Pages 248-267
  6. No Access

    Special section on formal methods for industrial critical systems

    Formal verification of fault tolerance in safety-critical reconfigurable modules

    Jerker Hammarberg, Simin Nadjm-Tehrani Pages 268-279
  7. No Access

    Regular contribution

    Distributed state space minimization

    Stefan Blom Pages 280-291