4 ms·

Please note that the formally proven model has been implemented also in Haskell, not only in C. Formally-proven-correct code + Haskell + literate programming =

by gioele 12y ago

Please note that the formally proven model has been implemented also in Haskell, not only in C. Formally-proven-correct code + Haskell + literate programming = https://github.com/seL4/seL4/blob/master/haskell/src/SEL4/Kernel/Thread.lhs https://github.com/seL4/seL4/blob/master/haskell/src/SEL4/Ke...