Theoretical Computer Science and General Issues

Computer Aided Verification

20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Editors: Gupta, Aarti, Malik, Sharad (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-70545-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-70543-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.

The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.

Table of contents (53 chapters)

Table of contents (53 chapters)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-70545-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-70543-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Aided Verification
Book Subtitle
20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
Editors
  • Aarti Gupta
  • Sharad Malik
Series Title
Theoretical Computer Science and General Issues
Series Volume
5123
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70545-1
DOI
10.1007/978-3-540-70545-1
Softcover ISBN
978-3-540-70543-7
Edition Number
1
Number of Pages
XVII, 558
Topics