Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vstte 2013, Menlo Park, Ca, Usa, May 17-19, 2013, Revised Selected Paper

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

Cohen, Ernie
Rybalchenko, Andrey

Paperback

Programming

ISBN10: 3642541070
ISBN13: 9783642541070
Publisher: Springer
Published: Jan 23 2014
Pages: 345
Weight: 1.12
Height: 0.75 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Programming

View All