Volume 5, Issue 2-3, March 2004

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

In this issue (12 articles)

  1. No Access

    Special section on formal methods for industrial critical systems

    Introductory paper

    Jaco van de Pol Pages 105-106
  2. No Access

    Special section on formal methods for industrial critical systems

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

    Tiziana Margaria, Bernhard Steffen Pages 107-123
  3. No Access

    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 Pages 124-139
  4. No Access

    Special section on formal methods for industrial critical systems

    Model-based testing for real

    A. Pretschner, O. Slotosch, E. Aiglstorfer Pages 140-157
  5. No Access

    Special section on formal methods for industrial critical systems

    Counter-example generation in symbolic abstract model-checking

    Gordon Pace, Nicolas Halbwachs Pages 158-164
  6. No Access

    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 Pages 165-184
  7. No Access

    Special section on formal methods for industrial critical systems

    Efficient reduction of finite state model checking to reachability analysis

    Viktor Schuppan, Armin Biere Pages 185-204
  8. No Access

    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 Pages 205-220
  9. No Access

    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 Pages 221-236
  10. No Access

    Special section on formal methods for industrial critical systems

    Properties of two’s complement floating point notations

    Sylvie Boldo Pages 237-246