Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

  • Radhia Cousot
Conference proceedings VMCAI 2005

DOI: 10.1007/b105073

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

Table of contents

  1. Front Matter
  2. Invited Paper

  3. Numerical Abstraction

    1. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
      Pages 25-41
  4. Invited Talk

  5. Verification I

    1. Markus Müller-Olm, Oliver Rüthing, Helmut Seidl
      Pages 79-96
    2. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
      Pages 113-129
    3. Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
      Pages 130-145
  6. Invited Talk

    1. Amir Pnueli
      Pages 146-146
  7. Heap and Shape Analysis

    1. Bor-Yuh Evan Chang, K. Rustan M. Leino
      Pages 147-163
    2. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
      Pages 164-180
    3. Roman Manevich, E. Yahav, G. Ramalingam, Mooly Sagiv
      Pages 181-198
    4. Alexandru Sălcianu, Martin Rinard
      Pages 199-215
  8. Abstract Model Checking

    1. Dennis Dams, Kedar S. Namjoshi
      Pages 216-232
    2. Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
      Pages 233-249
    3. A. Prasad Sistla, Min Zhou, Xiaodong Wang
      Pages 250-266
  9. Model Checking

About these proceedings

Keywords

C programming language Java abstract interpretation complexity data structure formal methods formal verification model checking program analysis program invariants program specification programming refinement structured analysis validation

Editors and affiliations

  • Radhia Cousot
    • 1
  1. 1.CNRSParisFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-24297-0
  • Online ISBN 978-3-540-30579-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349