Programming and Software Engineering

Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Editors: Blazy, Sandrine, Chechik, Marsha (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-48869-1
  • 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 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. 
The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance thestate of the art through the interaction of theory development, tool evolution, and experimental validation.

Table of contents (14 chapters)

Table of contents (14 chapters)
  • Stupid Tool Tricks for Smart Model Based Design

    Pages 1-7

    Lawford, Mark

  • Specification: The Biggest Bottleneck in Formal Methods and Autonomy

    Pages 8-26

    Rozier, Kristin Yvonne

  • Order Reduction for Multi-core Interruptible Operating Systems

    Pages 27-45

    Oberhauser, Jonas

  • Producing All Ideals of a Forest, Formally (Verification Pearl)

    Pages 46-55

    Filliâtre, Jean-Christophe (et al.)

  • Constructing Semantic Models of Programs with the Software Analysis Workbench

    Pages 56-72

    Dockins, Robert (et al.)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-48869-1
  • 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
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Editors
  • Sandrine Blazy
  • Marsha Chechik
Series Title
Programming and Software Engineering
Series Volume
9971
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-48869-1
DOI
10.1007/978-3-319-48869-1
Softcover ISBN
978-3-319-48868-4
Edition Number
1
Number of Pages
XIV, 199
Number of Illustrations
36 b/w illustrations
Topics