Verification, Model Checking, and Abstract Interpretation

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

  • Neil D. Jones
  • Markus Müller-Olm

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Invited Tutorials

  4. Submitted Papers

    1. Hasan Amjad, Richard Bornat
      Pages 14-28
    2. William C. Benton, Charles N. Fischer
      Pages 29-43
    3. Christos Dimoulas, Mitchell Wand
      Pages 44-58
    4. Kousha Etessami, Patrice Godefroid
      Pages 59-73
    5. Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu I. Siminiceanu
      Pages 74-88
    6. Patrice Godefroid, Nir Piterman
      Pages 89-104
    7. Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla
      Pages 105-119
    8. Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
      Pages 120-135
    9. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
      Pages 151-166
    10. Marcin Jurdziński, Ranko Lazić, Michał Rutkowski
      Pages 167-181
    11. Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 182-197
    12. Nicholas Kidd, Thomas Reps, Julian Dolby, Mandana Vaziri
      Pages 198-213
    13. Johannes Kinder, Florian Zuleger, Helmut Veith
      Pages 214-228

About these proceedings

Introduction

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.

The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

Keywords

Action abstract domains abstraction debugging techniques formal methods higher-order languages optimization program analysis program invariants program semantics program veri programming programming language structured analysis verification

Editors and affiliations

  • Neil D. Jones
    • 1
  • Markus Müller-Olm
    • 2
  1. 1.(Emeritus University of Copenhagen)RungstedDenmark
  2. 2.Institut für Informatik, Fachbereich Mathematik und InformatikWestfälische Wilhelms-UniversitätMünsterGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-93900-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-93899-6
  • Online ISBN 978-3-540-93900-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book