Leavens / O'Hearn / Rajamani | Verified Software: Theories, Tools, Experiments | Buch | 978-3-642-15056-2 | sack.de

Buch, Englisch, Band 6217, 217 Seiten, Gewicht: 352 g

Reihe: Lecture Notes in Computer Science

Leavens / O'Hearn / Rajamani

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
1. Auflage 2010
ISBN: 978-3-642-15056-2
Verlag: Springer

Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Buch, Englisch, Band 6217, 217 Seiten, Gewicht: 352 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-15056-2
Verlag: Springer

Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.

Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments jetzt bestellen!

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Leavens, Gary T.
O'Hearn, Peter
Rajamani, Sriram K

Fachgebiete

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.