Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vstte 2013, Menlo Park, Ca, Usa, May 17-19, 2013, Revised Selected Paper

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.

• Format: Paperback
• Language: English
• ISBN: 3642541070
• ISBN13: 9783642541070
• Release Date: January 2014
• Publisher: Springer
• Length: 345 Pages
• Weight: 1.12 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"