Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. Thi...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
Edición: | 1st ed. 2008. |
Colección: | Programming and Software Engineering,
5295 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Keynote Talks (Abstracts)
- Readable Formal Proofs
- From Verification to Synthesis
- Verification, Least-Fixpoint Checking, Abstraction
- Combining Tests and Proofs
- Logics
- Propositional Dynamic Logic for Recursive Procedures
- Mapped Separation Logic
- Unguessable Atoms: A Logical Foundation for Security
- Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems
- Tools
- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML
- Incremental Benchmarks for Software Verification Tools and Techniques
- Case Studies
- Verified Protection Model of the seL4 Microkernel
- Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic
- Bounded Verification of Voting Software
- Methodology
- Expression Decomposition in a Rely/Guarantee Context
- A Verification Approach for System-Level Concurrent Programs
- Boogie Meets Regions: A Verification Experience Report
- Flexible Immutability with Frozen Objects
- Verisoft
- The Verisoft Approach to Systems Verification
- Formal Functional Verification of Device Drivers
- Verified Process-Context Switch for C-Programmed Kernels
- Paper from VSTTE 2005
- Where Is the Value in a Program Verifier?.