Formal Specification of an Erase Block Management Layer for Flash Memory J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

First Page		Document Content
Date: 2014-12-01 09:23:10 Flash file systems Non-volatile memory Embedded Linux UBIFS Flash memory Wear leveling Solid-state drive Memory Technology Device Disk formatting Computer memory Computer hardware Computing		Formal Specification of an Erase Block Management Layer for Flash Memory J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Download Document from Source Website File Size: 362,96 KB Share Document on Facebook

	Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif DocID: SfX6 - View Document
	Verification of a Virtual Filesystem Switch Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {ernst,sch DocID: PM29 - View Document
	Formal Specification of an Erase Block Management Layer for Flash Memory J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif DocID: Owzm - View Document
	Proceedings of the 7th Australian Digital Forensics Conference Theory and practice of flash memory mobile forensics DocID: 2fNv - View Document
	PDF Document DocID: 1jmz - View Document