Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

  • Gilles Barthe
  • Manuel Hermenegildo
Conference proceedings VMCAI 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. K. Rustan M. Leino
      Pages 2-2
    2. Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke et al.
      Pages 3-22
  3. Invited Tutorials

    1. Roberto Giacobazzi
      Pages 23-24
    2. Joost-Pieter Katoen
      Pages 25-25
    3. Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies
      Pages 26-44
  4. Regular Papers

    1. Rajeev Alur, Swarat Chaudhuri
      Pages 45-60
    2. Benjamin Aminof, Orna Kupferman, Aniello Murano
      Pages 61-77
    3. Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan
      Pages 95-111
    4. Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
      Pages 112-128
    5. Vijay D’Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher
      Pages 129-145
    6. Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov
      Pages 163-179
    7. Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi
      Pages 180-196
    8. Andy King, Harald Søndergaard
      Pages 197-213
    9. Jörg Kreiker, Helmut Seidl, Vesal Vojdani
      Pages 214-230
    10. Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
      Pages 231-246
    11. Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur
      Pages 247-262

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010.

The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Keywords

Debugging abstract interpretation debugging techniques deductive methods formal methods formal verif model checking optimization program analysis program certification program semantics program verification static analysis type systems verification

Editors and affiliations

  • Gilles Barthe
    • 1
  • Manuel Hermenegildo
    • 2
  1. 1.Facultad de Informatica (UPM)IMDEA SoftwareMadridSpain
  2. 2.Facultad de Informatica (UPM)IMDEA Software and Technical University of MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-11319-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-11318-5
  • Online ISBN 978-3-642-11319-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book