OCaml logo
1 Search Results
sibylfs
formal specification and oracle-based testing for POSIX file systems
Tom Ridge <tom.j.ridge@googlemail.com> Thomas Tuerk <tt291@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu> Andrea Giugliano <agiugliano@live.it>
0.5.0
Used by 0 other packages