-
document
-
Taverne, P. (author)
This thesis presents a case study in modeling and verifying a POSIX-like file store for Flash memory. This work fits in the context of Hoare’s verification challenge and, in particular, Joshi and Holzmann’s mini-challenge to build a verifiable file store. I have designed a simple file store and implemented it in the form of a Promela model. This...
master thesis 2009
Source URL (retrieved on 2024-04-26 08:35): https://repository.tudelft.nl/islandora/search/%20?collection=education&%3Bamp%3Bf%5B0%5D=mods_subject_topic_ss%3A%22sea%5C%20level%5C%20rise%22&%3Bamp%3Bf%5B1%5D=mods_name_personal_author_namePart_family_ss%3A%22Boas%22&%3Bamp%3Bf%5B2%5D=mods_subject_topic_ss%3A%22climate%5C%20change%22&%3Bamp%3Bf%5B3%5D=mods_subject_topic_ss%3A%22landscape%5C%20art%22&%3Bf%5B0%5D=mods_subject_topic_ss%3A%22control%22&f%5B0%5D=mods_subject_topic_ss%3A%22model%22&f%5B1%5D=mods_name_personal_author_namePart_family_ss%3A%22Taverne%22