Augsburg College - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-12-05 19:36:13 Augsburg College Bavaria Academia Augsburg States of Germany University of Augsburg		Add to Reading List Source URL: www.uni-augsburg.de Download Document from Source Website File Size: 2,56 MB Share Document on Facebook

	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? DocID: 1xVko - View Document
	Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and DocID: 1xVjs - View Document
	A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg DocID: 1xVf3 - View Document
	Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV DocID: 1xUYo - View Document
	Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute DocID: 1xUL1 - View Document