Lecture Notes in Computer Science

Computer Aided Verification

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

Editors: Alur, Rajeev, Peled, Doron (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-27813-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-22342-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (51 chapters)

  • Rob Tristan Gerth: 1956–2003

    Peled, Doron

    Pages 1-14

  • Static Program Analysis via 3-Valued Logic

    Reps, Thomas W. (et al.)

    Pages 15-30

  • Deductive Verification of Pipelined Machines Using First-Order Quantification

    Ray, Sandip (et al.)

    Pages 31-43

  • A Formal Reduction for Lock-Free Parallel Algorithms

    Gao, Hui (et al.)

    Pages 44-56

  • An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking

    Namjoshi, Kedar S.

    Pages 57-69

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-27813-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-22342-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Aided Verification
Book Subtitle
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Editors
  • Rajeev Alur
  • Doron Peled
Series Title
Lecture Notes in Computer Science
Series Volume
3114
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-27813-9
DOI
10.1007/b98490
Softcover ISBN
978-3-540-22342-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 536
Topics