Verified software : theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)

• Pubblicazione: Berlin, : Springer, c2010
• Edizione: 1st ed. 2010.
• Descrizione fisica: 1 online resource (X, 217 p. 68 illus.)
• Disciplina: 005.14
• Soggetto topico: Computer programs - Verification; Compilers (Computer programs)
• Altri autori: LeavensGary T O'HearnPeter RajamaniSriram K
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Altri titoli varianti: VSTTE 2010
• Titolo autorizzato: Verified software
• ISBN: 3-642-15057-8
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484353203321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 6217.; LNCS sublibrary. : SL 2, . -Programming and software engineering.