[isabelle-dev] Isabelle Verified Linux kernel
davidblubaugh2000 at yahoo.com
Wed Oct 5 00:23:22 CEST 2011
Has anyone ever developed a verified and validated version of the Linux kernel by utilizing the Isabelle / HOL environment ??
Would anybody be interested in developing such a kernel ??
Does Isabelle support non-determinsitic model checking as well as theorem proving of software system SS?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev