Verification, Model Checking, and Abstract Interpretation

7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

  • E. Allen Emerson
  • Kedar S. Namjoshi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3855)

Table of contents

  1. Front Matter
  2. Peter Schachte, Harald Søndergaard
    Pages 1-16
  3. Joxan Jaffar, Andrew E. Santosa, Răzvan Voicu
    Pages 17-32
  4. Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
    Pages 33-48
  5. Pierre Ganty, Jean-François Raskin, Laurent Van Begin
    Pages 49-64
  6. Gang Tan, Andrew W. Appel
    Pages 80-94
  7. Stefano Rossignoli, Fausto Spoto
    Pages 95-110
  8. Sriram Sankaranarayanan, Michael A. Colón, Henny Sipma, Zohar Manna
    Pages 111-125
  9. Edmund Clarke, Muralidhar Talupur, Helmut Veith
    Pages 126-141
  10. Håkan L. S. Younes
    Pages 142-156
  11. Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin Rinard
    Pages 157-173
  12. Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula
    Pages 174-189
  13. A. Prasad Sistla, Min Zhou, Lenore D. Zuck
    Pages 222-236
  14. Shahid Jabbar, Stefan Edelkamp
    Pages 237-251
  15. Naghmeh Ghafari, Richard Trefler
    Pages 252-266
  16. Ittai Balaban, Ariel Cohen, Amir Pnueli
    Pages 267-281
  17. Joxan Jaffar, Andrew E. Santosa, Răzvan Voicu
    Pages 282-297

About these proceedings

Keywords

Factor Refactoring abstraction algorithms complexity design model checking program analysis program invariants program semantics program verification programming programming calculi structured analysis verification

Editors and affiliations

  • E. Allen Emerson
    • 1
  • Kedar S. Namjoshi
    • 2
  1. 1.Aiken Computation LaboratoryHarvard University,Cambridge, MassUSA
  2. 2.Bell LaboratoriesAlcatel-Lucent 

Bibliographic information

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