POSIX file store in Z/Eves: an experiment in the verified software repository.

Leo Freitas, Zheng Fu, Jim Woodcock

Browse the full ICECCS paper archive.