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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Leavens, Gary T. (Επιμελητής έκδοσης), O’Hearn, Peter (Επιμελητής έκδοσης), Rajamani, Sriram K. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6217
• Θέματα: 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.

Πίνακας περιεχομένων:

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