Theoretical Computer Science and General Issues

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Editors: Touili, Tayssir, Cook, Byron, Jackson, Paul (Eds.)

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook $129.00
price for USA (gross)
  • ISBN 978-3-642-14295-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $169.00
price for USA
  • ISBN 978-3-642-14294-9
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (58 chapters)

  • Policy Monitoring in First-Order Temporal Logic

    Basin, David (et al.)

    Pages 1-18

  • Retrofitting Legacy Code for Security

    Jha, Somesh

    Pages 19-19

  • Quantitative Information Flow: From Theory to Practice?

    Malacaria, Pasquale

    Pages 20-22

  • Memory Management in Concurrent Algorithms

    Michael, Maged M.

    Pages 23-23

  • ABC: An Academic Industrial-Strength Verification Tool

    Brayton, Robert (et al.)

    Pages 24-40

Buy this book

eBook $129.00
price for USA (gross)
  • ISBN 978-3-642-14295-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $169.00
price for USA
  • ISBN 978-3-642-14294-9
  • 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
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Editors
  • Tayssir Touili
  • Byron Cook
  • Paul Jackson
Series Title
Theoretical Computer Science and General Issues
Series Volume
6174
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-14295-6
DOI
10.1007/978-3-642-14295-6
Softcover ISBN
978-3-642-14294-9
Edition Number
1
Number of Pages
XVI, 676
Number of Illustrations and Tables
169 b/w illustrations
Topics