175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Theoretical Computer Science and General Issues

Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Editors: Cousot, Radhia (Ed.)

Buy this book

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

Table of contents (30 chapters)

  • Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

    Cousot, Patrick

    Pages 1-24

  • Scalable Analysis of Linear Systems Using Mathematical Programming

    Sankaranarayanan, Sriram (et al.)

    Pages 25-41

  • The Arithmetic-Geometric Progression Abstract Domain

    Feret, Jérôme

    Pages 42-58

  • An Overview of Semantics for the Validation of Numerical Programs

    Martel, Matthieu

    Pages 59-77

  • The Verifying Compiler, a Grand Challenge for Computing Research

    Hoare, C. A. R.

    Pages 78-78

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Verification, Model Checking, and Abstract Interpretation
Book Subtitle
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Editors
  • Radhia Cousot
Series Title
Theoretical Computer Science and General Issues
Series Volume
3385
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-30579-8
DOI
10.1007/b105073
Softcover ISBN
978-3-540-24297-0
Edition Number
1
Number of Pages
XII, 483
Topics