Suche

Flashix



The development of a fully verified flash file system

The Flashix project aims at the construction and verification of a state-of-the-art file system for flash memory.

Projektbeteiligte