Custom cover image
Custom cover image

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

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 6217Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: Online-Ressource (X, 217p. 68 illus, digital)ISBN:
  • 9783642150579
Subject(s): Genre/Form: Additional physical formats: 9783642150562 | Buchausg. u.d.T.: Verified software: theories, tools, experiments. Berlin : Springer, 2010. X, 215 S.DDC classification:
  • 005.1
  • 004
  • 004
MSC: MSC: *68-06 | 68N99 | 00B25LOC classification:
  • QA76.758
  • QA76.76.V47
DOI: DOI: 10.1007/978-3-642-15057-9Online resources: Summary: 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.PPN: PPN: 1650089023Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT