[isabelle-dev] Isabelle Verified Linux kernel

David Blubaugh 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?  
David Blubaugh

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20111004/4f067e83/attachment.html>

More information about the isabelle-dev mailing list