News for hackers. Stuff that matters.

A comment on Hyperkernel – A push-button approach to building provably correct OS kernels. Parent comment

Re:Hyperkernel – A push-button approach to building provably... by tonyg on Wednesday September 12, 2018 @10:13AM (#17968962)
J Strother Moore has some good slides on industrial applications of ACL2 here: https://www.inf.ed.ac.uk/teaching/courses/ar/j_moore_sprint-...
[ Parent | on HN ]

There are no comments on this comment yet.