Verification, Model Checking, and Abstract Interpretation

Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

  • Agostino Cortesi
Conference proceedings VMCAI 2002

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Security and Protocols

    1. Riccardo Focardi, Carla Piazza, Sabina Rossi
      Pages 16-31
    2. Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa
      Pages 32-45
  3. Timed Systems and Games

    1. Natalia Sidorova, Martin Steffen
      Pages 79-93
    2. Marco Faella, Salvatore La Torre, Aniello Murano
      Pages 94-108
  4. Static Analysis

    1. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
      Pages 109-125
    2. Samir Genaim, Michael Codish, John Gallagher, Vitaly Lagoon
      Pages 126-138
    3. Andrzej S. Murawski, Kwangkeun Yi
      Pages 139-153
    4. Patricia M. Hill, Fausto Spoto
      Pages 154-166
  5. Optimizations

    1. Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
      Pages 167-181
    2. Sava Krstić, John Matthews
      Pages 182-195
    3. Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani
      Pages 196-207
  6. Types and Verification

    1. Lenore Zuck, Amir Pnueli, Yonit Kesten
      Pages 208-224
    2. Salvatore La Torre, Aniello Murano, Margherita Napoli
      Pages 240-254
    3. Mario Coppo, Mariangiola Dezani-Ciancaglini
      Pages 255-271
  7. Temporal Logics and Systems

    1. Ferucio Laurentţiu TŢiplea, Aurora TŢiplea
      Pages 272-288
    2. Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
      Pages 289-301
    3. Kai Baukus, Yassine Lakhnech, Karsten Stahl
      Pages 317-330
  8. Back Matter
    Pages 331-331

About these proceedings


Abstract Interpretation Concurrent Systems Correct System Design Formal Methods Program Analysis Program Optimization Program Semantics Program Specification Program Verification Reactive Systems Temporal Logics model checking optimization verification

Editors and affiliations

  • Agostino Cortesi
    • 1
  1. 1.Dipartimento di InformaticaUniversità Ca’ Foscari di VeneziaMestre-VeneziaItaly

Bibliographic information

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