CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Theoretical Computer Science and General Issues

Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Editors: Kuncak, Viktor, Rybalchenko, Andrey (Eds.)

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

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-642-27940-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase Institutional customers should get in touch with their account manager
Softcover $99.00
price for USA in USD
About this book

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

Table of contents (29 chapters)

Table of contents (29 chapters)
  • Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data

    Pages 1-22

    Bouajjani, Ahmed (et al.)

  • Software Verification with Liquid Types

    Pages 23-23

    Jhala, Ranjit

  • Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

    Pages 24-38

    Nipkow, Tobias

  • Whale: An Interpolation-Based Algorithm for Inter-procedural Verification

    Pages 39-55

    Albarghouthi, Aws (et al.)

  • Synchronizability for Verification of Asynchronously Communicating Systems

    Pages 56-71

    Basu, Samik (et al.)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-642-27940-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase Institutional customers should get in touch with their account manager
Softcover $99.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Verification, Model Checking, and Abstract Interpretation
Book Subtitle
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Editors
  • Viktor Kuncak
  • Andrey Rybalchenko
Series Title
Theoretical Computer Science and General Issues
Series Volume
7148
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-27940-9
DOI
10.1007/978-3-642-27940-9
Softcover ISBN
978-3-642-27939-3
Edition Number
1
Number of Pages
X, 457
Number of Illustrations
111 b/w illustrations
Topics