Advertisement

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
  18. Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    Pages 298-312
  19. Francesco Logozzo, Agostino Cortesi
    Pages 313-331
  20. Nir Piterman, Amir Pnueli, Yaniv Sa’ar
    Pages 364-380
  21. Arie Gurfinkel, Ou Wei, Marsha Chechik
    Pages 381-397
  22. Laura Bozzelli, Salvatore La Torre, Adriano Peron
    Pages 412-426
  23. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    Pages 427-442
  24. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering