Volume 1, Issue 1-2, December 1997

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

In this issue (12 articles)

  1. No Access

    EditorialNotes

    Editorial

    W. Rance Cleaveland, Tiziana Margaria Pages 1-5
  2. No Access

    Special section on the Electronic Tool Integration platform

    The Electronic Tool Integration platform: concepts and design

    Bernhard Steffen, Tiziana Margaria Pages 9-30
  3. No Access

    Special section on the Electronic Tool Integration platform

    Integrating tools in the ETI platform

    Volker Braun, Tiziana Margaria Pages 31-48
  4. No Access

    Special section on the Electronic Tool Integration platform

    Interacting with ETI: a user session

    Tiziana Margaria, Volker Braun Pages 49-63
  5. No Access

    Special section on timed and hybrid systems

    Real-time system = discrete system + clock variables

    Rajeev Alur, Thomas A. Pages 86-109
  6. No Access

    Special section on timed and hybrid systems

    HYTECH: a model checker for hybrid systems

    Thomas A. Henzinger, Pei-Hsin Ho Pages 110-122
  7. No Access

    Special section on timed and hybrid systems

    KRONOS: a verification tool for real-time systems

    Sergio Yovine Pages 123-133
  8. No Access

    Special section on timed and hybrid systems

    Uppaal in a nutshell

    Kim G. Larsen, Paul Pettersson, Wang Yi Pages 134-152