1![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
|
---|
2![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
|
---|
3![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
|
---|
4![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
|
---|
5![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
|
---|
6![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
|
---|
7![Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif](https://www.pdfsearch.io/img/c974d53932cc10a4acfbd320f01a7afd.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:47:24
|
---|
8![SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog](https://www.pdfsearch.io/img/3bfab6e770ce9abdce5a43400c925541.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-08 19:03:00
|
---|
9![AHRENDT, BECKERT, HÄHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING 1. I NTRODUCTION AHRENDT, BECKERT, HÄHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING 1. I NTRODUCTION](https://www.pdfsearch.io/img/d4b65e200b2d28374fbcee68c8af196f.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2009-08-28 10:31:35
|
---|
10![Mathematik II fu¨r MB, WI/MB und andere Profs. Drs. Ulrich Reif, Wilhelm Stannat und Michael Joswig Sommer 2011
ii Mathematik II fu¨r MB, WI/MB und andere Profs. Drs. Ulrich Reif, Wilhelm Stannat und Michael Joswig Sommer 2011
ii](https://www.pdfsearch.io/img/0770769bc22e0d8958ed3acc3994a1f1.jpg) | Add to Reading ListSource URL: page.math.tu-berlin.deLanguage: German |
---|