Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

  • Editors
  • Francesco Logozzo
  • Doron A. Peled
  • Lenore D. Zuck
Conference proceedings VMCAI 2008
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4905)

Table of contents

  1. Front Matter
  2. Neil D. Jones, René Rydhof Hansen
    Pages 4-4
  3. Orna Kupferman, Yoad Lustig
    Pages 5-5
  4. Jens Palsberg
    Pages 6-6
  5. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
    Pages 8-21
  6. Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine
    Pages 22-36
  7. Olivier Bouissou, Matthieu Martel
    Pages 37-51
  8. A. Cimatti, M. Roveri, V. Schuppan, A. Tchaltsev
    Pages 52-67
  9. Vijay D’Silva, Mitra Purandare, Daniel Kroening
    Pages 68-82
  10. Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
    Pages 83-97
  11. Rayna Dimitrova, Andreas Podelski
    Pages 98-111
  12. Harald Fecher, Michael Huth
    Pages 112-126
  13. Eugene Goldberg
    Pages 127-141
  14. Alex Groce, Rajeev Joshi
    Pages 142-156
  15. Isabella Mastroeni
    Pages 157-171
  16. Mario Méndez-Lojo, Manuel V. Hermenegildo
    Pages 172-187
  17. Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin
    Pages 203-217

About these proceedings

Keywords

Constraint Debugging Simulation abstract domains abstract interpretation abstraction algorithms formal methods formal verification optimization program analysis program semantics programming programming language verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78163-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78162-2
  • Online ISBN 978-3-540-78163-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349