Abstract State Machines 2003

Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

  • Egon Börger
  • Angelo Gargantini
  • Elvinia Riccobene
Conference proceedings ASM 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2589)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Papers

    1. Antonia Bertolino
      Pages 1-21
    2. Tommaso Bolognesi, Egon Börger
      Pages 22-32
    3. John Derrick, Eerke Boiten
      Pages 33-56
    4. Yuri Gurevich, Nikolai Tillmann
      Pages 57-86
    5. Cyrille Artho, Doron Drusinksy, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu et al.
      Pages 87-108
    6. Gruia-Catalin Roman, Jamie Payton
      Pages 126-150
    7. Perdita Stevens
      Pages 151-166
  3. Research Papers

    1. András Benczúr, Uwe Glässer, Tamás Lukovszki
      Pages 204-217
    2. Egon Börger, Tommaso Bolognesi
      Pages 218-228
    3. Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
      Pages 229-243
    4. Nicu G. Fruja, Robert F. Stärk
      Pages 244-262
    5. Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo
      Pages 263-277
    6. Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
      Pages 278-292
    7. Erich Grädel, Antje Nowack
      Pages 309-323
    8. Marianna Nicolosi Asmundo, Elvinia Riccobene
      Pages 324-340
    9. Dean Rosenzweig, Davor Runje, Neva Slani
      Pages 372-390
  4. Extended Abstracts

    1. Mike Barnett, Wolfram Schulte, Nikolai Tillmann
      Pages 407-407
    2. Aleksander Binemann-Zdanowicz, Bernhard Thalheim
      Pages 408-410
    3. Paolo Falcarin, Alessandra Cavarra
      Pages 411-412
    4. Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
      Pages 413-413
    5. James Huggins, Jean Mayo, Charles Wallace
      Pages 414-414
    6. Alexey Kalinov, Alexandre Kossatchev, Alexander Petrenko, Mikhail Posypkin, Vladimir Shishko
      Pages 415-415
    7. Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn
      Pages 417-417
    8. Andreas Prinz, Bernhard Thalheim
      Pages 418-420
    9. Wolfgang Reisig
      Pages 421-422
  5. Back Matter
    Pages 427-427

Other volumes

  1. Abstract State Machines 2003
    Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
  2. Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

About these proceedings


This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.

The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.


Java SPIN UML Unified Modeling Language (UML) abstract state machines concurrency formal methods formal specification formal verification modeling software development systems analysis systems design systems modeling verification

Editors and affiliations

  • Egon Börger
    • 1
  • Angelo Gargantini
    • 2
  • Elvinia Riccobene
    • 3
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.CEAUniversità di CataniaCataniaItaly
  3. 3.Dipartimento di Matematica e InformaticaUniversità di CataniaCataniaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00624-4
  • Online ISBN 978-3-540-36498-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking