http://blog.lwhsu.org/archives/2007/06/14/70/ (define lwhsu_blog http://lwhsu.org) Tue, 06 Jan 2009 13:10:19 +0000 http://wordpress.org/?v=2.2.2 http://blog.lwhsu.org/archives/2007/06/14/70/#comment-23662 DeathWish Sun, 02 Sep 2007 01:47:38 +0000 http://blog.lwhsu.org/archives/2007/06/14/70/#comment-23662 holy grail不是比喻说圣杯战争...是比喻以前大家都很想找到software verification，但是一直没有solution（就好比大家都很想找圣杯一样）.而MS在这方面跨出了一小步... Grand Challenge in Verified Software这个全球project在2006才启动...15年的大项目，所以现在研究的人少些也比较正常. 另外觉得比较奇怪的就是...不管是何种formal techniques，都是在prevent error而非debug才对... 搜Bill Gates这篇资料的时候偶然进入这里，一点个人心得，请勿见怪。 holy grail不是比喻说圣杯战争…是比喻以前大家都很想找到software verification，但是一直没有solution（就好比大家都很想找圣杯一样）.而MS在这方面跨出了一小步…
Grand Challenge in Verified Software这个全球project在2006才启动…15年的大项目，所以现在研究的人少些也比较正常.
另外觉得比较奇怪的就是…不管是何种formal techniques，都是在prevent error而非debug才对…
搜Bill Gates这篇资料的时候偶然进入这里，一点个人心得，请勿见怪。

]]> http://blog.lwhsu.org/archives/2007/06/14/70/#comment-17378 BlueCat Thu, 14 Jun 2007 02:32:50 +0000 http://blog.lwhsu.org/archives/2007/06/14/70/#comment-17378 你這樣就不對了, saber 會黑化, 學妹會殺人, 怎麼說還是凜同學王道啊! 你這樣就不對了, saber 會黑化, 學妹會殺人, 怎麼說還是凜同學王道啊!

]]> http://blog.lwhsu.org/archives/2007/06/14/70/#comment-17377 BlueCat Thu, 14 Jun 2007 02:28:48 +0000 http://blog.lwhsu.org/archives/2007/06/14/70/#comment-17377 你是寶具... 你是寶具…

]]>