9 citations · 9 across the 2 of their papers we have counts for
1 paper · 1 filter
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg +2
This work presents a formal model that is part of our effort to construct a verified file system for Flash memory. To modularize the verification we factor out generic aspects into…