1 option
Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / edited by Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 6217.
- Programming and Software Engineering ; 6217
- Language:
- English
- Subjects (All):
- Software engineering.
- Programming languages (Electronic computers).
- Computer programming.
- Computer logic.
- Logic, Symbolic and mathematical.
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (X, 217 pages) : 68 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- 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
- Reusable Verification of a Copying Collector
- To Goto Where No Statement Has Gone Before
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-15057-9
- 9783642150579
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.