Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Leavens, Gary T. (Editor), O’Hearn, Peter (Editor), Rajamani, Sriram K. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6217
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

Table of Contents:

• Invited Talk
• Towards Scalable Modular Checking of User-Defined Properties
• Verification Techniques
• Tressa: Claiming the Future
• Automated Verification of a Small Hypervisor
• Verification of Low-Level Code
• A Rely-Guarantee Proof System for x86-TSO
• Pervasive Verification of an OS Microkernel
• Invited Talk
• The L4.verified Project — Next Steps
• Requirements and Specifications
• An Approach of Requirements Tracing in Formal Refinement
• Dafny Meets the Verification Benchmarks Challenge
• Specifying Reusable Components
• Verification Techniques
• Reusable Verification of a Copying Collector
• To Goto Where No Statement Has Gone Before
• Invited Talk
• The Next 700 Separation Logics
• Locality in Reasoning
• Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
• Abstraction and Refinement for Local Reasoning.