Email Gateway (Aug 18 2022 at 17:55): Email Gateway (Aug 18 2022 at 17:55):From: Tobias Nipkow <nipkow@in.tum.de>
MIT's TR10 for 2011 http://www.technologyreview.com/tr10/ (the list of
10 emerging technologies that MIT's Technology Review think will have
the greatest impact) contains NICTA's operating system kernel
verification led by Gerwin Klein, which uses Isabelle, although that is
not mentioned in the article http://www.technologyreview.com/article/37206/.
Tobias
Email Gateway (Aug 18 2022 at 17:55):From: Steven Obua <steven.obua@googlemail.com>
But it seems to be mentioned in the comments ... :-)
Last updated: Nov 21 2024 at 12:39 UTC