Programming and Software Engineering

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Editors: Joshi, Rajeev, Müller, Peter, Podelski, Andreas (Eds.)

Free Preview
  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report
see more benefits

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-642-27705-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts from 10 eBooks
Softcover $74.99
price for USA in USD
About this book

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • Cyber War, Formal Verification and Certified Infrastructure

    Pages 1-1

    Paul, Wolfgang

  • A Certified Multi-prover Verification Condition Generator

    Pages 2-17

    Herms, Paolo (et al.)

  • Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT

    Pages 18-33

    Schmaltz, Sabine (et al.)

  • The Location Linking Concept: A Basis for Verification of Code Using Pointers

    Pages 34-49

    Kulczycki, Gregory (et al.)

  • Verifying Implementations of Security Protocols by Refinement

    Pages 50-65

    Polikarpova, Nadia (et al.)

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-642-27705-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts from 10 eBooks
Softcover $74.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Verified Software: Theories, Tools, Experiments
Book Subtitle
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Editors
  • Rajeev Joshi
  • Peter Müller
  • Andreas Podelski
Series Title
Programming and Software Engineering
Series Volume
7152
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-27705-4
DOI
10.1007/978-3-642-27705-4
Softcover ISBN
978-3-642-27704-7
Edition Number
1
Number of Pages
XI, 326
Number of Illustrations
41 b/w illustrations
Topics