Verification, Model Checking, and Abstract Interpretation

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

  • Editors
  • Byron Cook
  • Andreas Podelski
Conference proceedings VMCAI 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4349)

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Gogul Balakrishnan, Thomas Reps
      Pages 1-28
  3. Session 1

    1. Michael Emmi, Rupak Majumdar
      Pages 29-43
    2. Stephen F. Siegel
      Pages 44-58
    3. Matthew Might, Benjamin Chambers, Olin Shivers
      Pages 59-73
    4. Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin Rinard
      Pages 74-88
  4. Invited Tutorial

    1. K. L. McMillan
      Pages 89-90
  5. Session 2

    1. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
      Pages 91-105
    2. Marius Bozga, Radu Iosif
      Pages 122-136
  6. Invited Talk

    1. Moshe Y. Vardi
      Pages 137-150
  7. Session 3

    1. Felix Klaedtke, Stefan Ratschan, Zhikun She
      Pages 151-166
    2. Harald Fecher, Michael Huth
      Pages 167-181
    3. Björn Wachter, Bernd Westphal
      Pages 182-198
    4. Orna Kupferman, Yoad Lustig
      Pages 199-213
  8. Invited Tutorial

  9. Session 4

    1. Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas Reps
      Pages 215-233
    2. Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin
      Pages 251-266
  10. Invited Talk

    1. Hongseok Yang
      Pages 267-267

About these proceedings

Keywords

Constraint Java abstarct interpretation abstract domains abstraction algorithms data structure data structures debugging techniques deductive methods formal verification optimization program invariants programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-69738-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69735-0
  • Online ISBN 978-3-540-69738-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349