Home » forums » LtU Forum

World’s first formal machine-checked proof of a general-purpose operating system kernel

World’s first formal machine-checked proof of a general-purpose operating system kernel from Planet Haskell.

Some previous work has been mentioned here before, but I don't think there has been a story on any of the previous work.

By Derek Elkins at 2009-08-14 01:20 | LtU Forum | previous forum topic | next forum topic | other blogs | 4792 reads