Programming and Software Engineering

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Editors: Paskevich, Andrei, Wies, Thomas (Eds.)

Free Preview

Buy this book

eBook $49.99
price for USA in USD (gross)
  • ISBN 978-3-319-72308-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $64.99
price for USA in USD
  • ISBN 978-3-319-72307-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

Table of contents (12 chapters)

Table of contents (12 chapters)
  • A Formally Verified Interpreter for a Shell-Like Programming Language

    Jeannerod, Nicolas (et al.)

    Pages 1-18

  • A Formal Analysis of the Compact Position Reporting Algorithm

    Dutle, Aaron (et al.)

    Pages 19-34

  • Proving JDK’s Dual Pivot Quicksort Correct

    Beckert, Bernhard (et al.)

    Pages 35-48

  • A Semi-automatic Proof of Strong Connectivity

    Chen, Ran (et al.)

    Pages 49-65

  • Verifying Branch-Free Assembly Code in Why3

    Schoolderman, Marc

    Pages 66-83

Buy this book

eBook $49.99
price for USA in USD (gross)
  • ISBN 978-3-319-72308-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $64.99
price for USA in USD
  • ISBN 978-3-319-72307-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Verified Software. Theories, Tools, and Experiments
Book Subtitle
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Editors
  • Andrei Paskevich
  • Thomas Wies
Series Title
Programming and Software Engineering
Series Volume
10712
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-72308-2
DOI
10.1007/978-3-319-72308-2
Softcover ISBN
978-3-319-72307-5
Edition Number
1
Number of Pages
XIII, 211
Number of Illustrations
69 b/w illustrations
Topics