Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani.
Material type: TextSeries: Lecture Notes in Computer Science ; 6217Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: X, 217p. 68 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642150579Subject(s): Computer science | Software engineering | Logic design | Artificial intelligence | Computer Science | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Programming Techniques | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics)Additional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK9215 |
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.
There are no comments on this title.