© 2006

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

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


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

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment