World’s first formal machine-checked proof of a general-purpose operating system kernel
1 view
Skip to first unread message
Wladimir Boton
Aug 13, 2009, 8:58:28 AM8/13/09
to programm...@googlegroups.com
http://www.theengineer.co.uk/Articles/312631/Safer+software.htm
--
Wladimir Boton
Blog: http://www.wboton.com
Twitter: http://twitter.com/wboton
Linkedin: http://www.linkedin.com/in/wboton
--
Wladimir Boton
Blog: http://www.wboton.com
Twitter: http://twitter.com/wboton
Linkedin: http://www.linkedin.com/in/wboton
Reply all
Reply to author
Forward
0 new messages