[Haskell] Haskell / Full-fledge verified OS

Isaac Jones ijones at syntaxpolice.org
Fri Aug 25 18:54:34 EDT 2006

We at Galois are quite interested in formally verified software.  An
OS would be very exciting.

We have offered Halfs, a Haskell filesystem, and would be delighted if
someone worked to formally verify this.  As the primary author, I'd be
happy to tweak the Halfs code to make it easier for someone working to
verify it.




More information about the Haskell mailing list