A word in response to the corona virus crisis: Your print orders will be fulfilled, even in these challenging times. If you don’t want to wait – have a look at our ebook offers and start reading immediately.

Programming and Software Engineering

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Editors: Chakraborty, Supratik, Navas, Jorge (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-030-41600-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-030-41599-0
  • 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 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers presented were carefully revised and selected from 17 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)
  • Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

    Pages 1-18

    Journault, Matthieu (et al.)

  • Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework

    Pages 19-29

    Chechik, Marsha (et al.)

  • Quantifying Information Leakage Using Model Counting Constraint Solvers

    Pages 30-35

    Bultan, Tevfik

  • Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme

    Pages 36-53

    Haines, Thomas (et al.)

  • Incremental Minimization of Symbolic Automata

    Pages 54-67

    Homburg, Jonathan (et al.)

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-030-41600-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-030-41599-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
Verified Software. Theories, Tools, and Experiments
Book Subtitle
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Editors
  • Supratik Chakraborty
  • Jorge Navas
Series Title
Programming and Software Engineering
Series Volume
12031
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-41600-3
DOI
10.1007/978-3-030-41600-3
Softcover ISBN
978-3-030-41599-0
Edition Number
1
Number of Pages
XVI, 193
Number of Illustrations
191 b/w illustrations, 30 illustrations in colour
Topics