1![Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?](https://www.pdfsearch.io/img/78359597414b4153da40d5ab97f0de9b.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:46:13
|
---|
2![Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and](https://www.pdfsearch.io/img/11054ae5ce03c8b174b33c9483470781.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-07-21 04:42:46
|
---|
3![A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg](https://www.pdfsearch.io/img/89e01176fdec72972a309dbf4433bce0.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:43:20
|
---|
4![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 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](https://www.pdfsearch.io/img/eacbbf3db648b5447b2362f5bac8a5ec.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:48:03
|
---|
5![Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute](https://www.pdfsearch.io/img/83214a688d109a4bbef9b0b187b989ba.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:52:45
|
---|
6![Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif](https://www.pdfsearch.io/img/8da7d27ea823ea7df1f44986f4087512.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:44:04
|
---|
7![Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif](https://www.pdfsearch.io/img/09b2903a6150e07cbcd5c8425d14a418.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:46:01
|
---|
8![A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,](https://www.pdfsearch.io/img/3c8e26f8821123cc2821a133545363fd.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:50:05
|
---|
9![Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute](https://www.pdfsearch.io/img/dec8423e8a1ab5c539ee0e4c55e7c5d5.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-08-23 11:21:22
|
---|
10![Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering](https://www.pdfsearch.io/img/589a64ada453996747bd731eced23db2.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:48:58
|
---|