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
Conference proceedings VMCAI 2009

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
    14. Vincent Laviron, Francesco Logozzo
      Pages 229-244
    15. Matthew Might, Panagiotis Manolios
      Pages 260-274
    16. Zvonimir Rakamarić, Alan J. Hu
      Pages 290-304
    17. Ankur Taly, Sumit Gulwani, Ashish Tiwari
      Pages 305-319
    18. Richard Trefler, Thomas Wahl
      Pages 320-334
    19. Ou Wei, Arie Gurfinkel, Marsha Chechik
      Pages 349-365
    20. Ralf Wimmer, Bettina Braitling, Bernd Becker
      Pages 366-380
  5. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-93899-6
  • Online ISBN 978-3-540-93900-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment