Ausgabe 3/2005
Special section on formal methods for industrial critical systems
Inhalt (7 Artikel)
Special section on formal methods for industrial critical systems
Introductory paper
Thomas Arts, Jaco van de Pol
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
Special section on formal methods for industrial critical systems
An overview of JML tools and applications
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
Special section on formal methods for industrial critical systems
A verification approach to applied system security
Achim D. Brucker, Burkhart Wolff
Special section on formal methods for industrial critical systems
prialt in Handel-C: an operational semantics
Andrew Butterfield, Jim Woodcock
Special section on formal methods for industrial critical systems
Formal verification of fault tolerance in safety-critical reconfigurable modules
Jerker Hammarberg, Simin Nadjm-Tehrani