Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vstte 2013, Menlo Park, Ca, Usa, May 17- by Ernie CohenVerified Software: Theorie, Tools, Experiments: 5th International Conference, Vstte 2013, Menlo Park, Ca, Usa, May 17- by Ernie Cohen

Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vstte 2013, Menlo…

byErnie Cohen

Paperback | January 23, 2014

Pricing and Purchase Info

$89.95

Earn 450 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
Title:Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vstte 2013, Menlo…Format:PaperbackDimensions:345 pages, 23.5 × 15.5 × 0.01 inPublished:January 23, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642541070

ISBN - 13:9783642541070

Reviews

Table of Contents

Classifying and Solving Horn Clauses for Verification.- Static Analysis of Programs with Imprecise Probabilistic Inputs.- Effect Analysis for Programs with Callbacks.- Compositional Network Mobility.- Parallel Bounded Verification of Alloy Models by TranScoping.- Extending the Theory of Arrays: memset, memcpy, and Beyond.- An Improved Unrolling-Based Decision Procedure for Algebraic Data Types.- Program Checking with Less Hassle.- Verified Calculations..- Preserving User Proofs across Specification Changes.- An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames.- Automated Code Proofs on a Formal Model of the X86.- Verification of a Virtual Filesystem Switch.- Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving.- Formal Verification of Loop Bound Estimation for WCET Analysis.- Result Certification of Static Program Analysers with Automated Theorem Provers.- A Formally Verified Generic Branching Algorithm for Global Optimization.