mit-pdos/fscq
View on GitHub ↗ ★ 252 Coq
FSCQ is a certified file system written and proven in Coq
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2015-11-20 · latest 2016-05-01
20082026
-
…project code is both available and often evaluated along side the publication. For example FSCQ( https://github.com/mit-pdos/fscq-impl ) from MIT, Verdi ( https://github.com/uwplse/verdi ) from UW, Dune( http://dune.scs.stanford.edu/ )…
comment by jroesch · 2016-05-01 · in “Extremely angry with the state of academic CS research right now” -
…test existing filesystems; http://sibylfs.io Running SibylFS on Fscq showed up some limitations: - https://github.com/mit-pdos/fscq-impl/issues (mostly basic missing POSIXisms) - https://github.com/mit-pdos/fscq-impl/issues/2 an…
comment by avsm · 2015-11-20 · in FSCQ: A formally verified crash-proof filesystem [pdf] -
…and whose specification includes crashes. The full source code of FSCQ is available online: https://github.com/mit-pdos/fscq-impl
comment by anishathalye · 2015-11-20 · in FSCQ: A formally verified crash-proof filesystem [pdf]