Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

  • Rajeev Alur
  • Doron A. Peled
Conference proceedings CAV 2004

DOI: 10.1007/b98490

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

Table of contents

  1. Front Matter
  2. Doron Peled
    Pages 1-14
  3. Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
    Pages 15-30
  4. Hui Gao, Wim H. Hesselink
    Pages 44-56
  5. Ashish Tiwari
    Pages 70-82
  6. Mohammad Awedh, Fabio Somenzi
    Pages 96-108
  7. Jacob Chang, Sergey Berezin, David L. Dill
    Pages 122-134
  8. Shuvendu K. Lahiri, Randal E. Bryant
    Pages 135-147
  9. Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli
    Pages 148-161
  10. Leonardo de Moura, Harald Rueß
    Pages 162-174
  11. Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    Pages 175-188
  12. Doron Bustan, Sasha Rubin, Moshe Y. Vardi
    Pages 189-201
  13. Koushik Sen, Mahesh Viswanathan, Gul Agha
    Pages 202-215
  14. Jin Yang, Carl-Johan H. Seger
    Pages 216-228
  15. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
    Pages 229-241
  16. Cédric Fournet, Tony Hoare, Sriram K. Rajamani, Jakob Rehof
    Pages 242-254

About these proceedings

Keywords

algorithms automata automated deduction calculus computational logic computer aided verification formal methods formal program analysis formal verification logic modeling petri net proving systems verification verification

Editors and affiliations

  • Rajeev Alur
    • 1
  • Doron A. Peled
    • 2
  1. 1.University of Pennsylvania 
  2. 2.Department of Computer ScienceBar Ilan UniversityRamat GanIsrael

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22342-9
  • Online ISBN 978-3-540-27813-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349