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

Programming and Software Engineering

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Editors: Giannakopoulou, Dimitra, Kroening, Daniel (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-12154-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
About this book

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

Table of contents (17 chapters)

Table of contents (17 chapters)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-12154-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Verified Software: Theories, Tools and Experiments
Book Subtitle
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Editors
  • Dimitra Giannakopoulou
  • Daniel Kroening
Series Title
Programming and Software Engineering
Series Volume
8471
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-12154-3
DOI
10.1007/978-3-319-12154-3
Softcover ISBN
978-3-319-12153-6
Edition Number
1
Number of Pages
X, 287
Number of Illustrations
107 b/w illustrations
Topics