Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif

First Page		Document Content
Date: 2017-01-11 10:44:04 Computer architecture Computing System software C POSIX library System calls POSIX Read Open File descriptor Virtual file system UBIFS Close		Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Download Document from Source Website File Size: 488,19 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