[isabelle] TR10



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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.