Ausgabe 2-3/2004
Inhalt (12 Artikel)
Special section on formal methods for industrial critical systems
Introductory paper
Jaco van de Pol
Special section on formal methods for industrial critical systems
Lightweight coarse-grained coordination: a scalable system-level approach
Tiziana Margaria, Bernhard Steffen
Special section on formal methods for industrial critical systems
Validation and automatic test generation on UML models: the AGATHA approach
David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier
Special section on formal methods for industrial critical systems
Model-based testing for real
A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel
Special section on formal methods for industrial critical systems
Counter-example generation in symbolic abstract model-checking
Gordon Pace, Nicolas Halbwachs, Pascal Raymond
Special section on formal methods for industrial critical systems
αSPIN: A tool for abstract model checking
María del Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
Special section on formal methods for industrial critical systems
Efficient reduction of finite state model checking to reachability analysis
Viktor Schuppan, Armin Biere
Special section on formal methods for industrial critical systems
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
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
Properties of two’s complement floating point notations
Sylvie Boldo, Marc Daumas
Regular contribution
Directed explicit-state model checking in the validation of communication protocols
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
Regular contribution
Covering sharing trees: a compact data structure for parameterized verification
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin