Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

  • Bernhard Steffen
  • Giorgio Levi
Conference proceedings VMCAI 2004

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

Table of contents

  1. Front Matter
  2. Tutorial

    1. Joshua D. Guttman
      Pages 1-1
  3. Security

    1. Gilles Barthe, Amitabh Basu, Tamara Rezk
      Pages 2-15
  4. Formal Methods I

    1. Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu
      Pages 30-43
    2. Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
      Pages 44-57
    3. Invited Talk

    4. Miscellaneous

      1. Viktor Kuncak, Martin Rinard
        Pages 59-72
    5. Model Checking

      1. Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet
        Pages 73-84
      2. Edmund Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman
        Pages 85-96
      3. Dorel Lucanu, Gabriel Ciobanu
        Pages 97-109
  5. Formal Methods II

    1. Gordon J. Pace, Gerardo Schneider
      Pages 110-121
    2. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
      Pages 135-148
    3. Software Checking

      1. Rahul Agarwal, Scott D. Stoller
        Pages 149-160
      2. Songtao Xia, James Hook
        Pages 161-174
    4. Invited Talk

      1. Dawson Engler, Madanlal Musuvathi
        Pages 191-210
    5. Software Checking

      1. Francesco Logozzo
        Pages 211-222
    6. Liveness and Completeness

      1. Yi Fang, Nir Piterman, Amir Pnueli, Lenore Zuck
        Pages 223-238

About these proceedings

Keywords

C programming language Constraint Java Scheduling abstract interpretation complexity concurrent systems embedded systems infinite-state systems model checking modeling program optimization program specification program verification verification

Editors and affiliations

  • Bernhard Steffen
    • 1
  • Giorgio Levi
    • 2
  1. 1.Chair Programming SystemsUniversität DortmundDortmundGermany
  2. 2.Dipartimento di InformaticaUniversità di PisaPisaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/b94790
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20803-7
  • Online ISBN 978-3-540-24622-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace