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.)

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

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-27705-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-27704-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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)

  • Cyber War, Formal Verification and Certified Infrastructure

    Paul, Wolfgang

    Pages 1-1

  • A Certified Multi-prover Verification Condition Generator

    Herms, Paolo (et al.)

    Pages 2-17

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

    Schmaltz, Sabine (et al.)

    Pages 18-33

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

    Kulczycki, Gregory (et al.)

    Pages 34-49

  • Verifying Implementations of Security Protocols by Refinement

    Polikarpova, Nadia (et al.)

    Pages 50-65

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-27705-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-27704-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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 and Tables
41 b/w illustrations
Topics