kw's blog - モデル検査技術を利用したプログラム解析器の生成ツール http://mizunashi.net:80/blog/2008/08/06/1217986164000.html ある種のプログラム解析はモデル検査である... ja kw Wed, 06 Aug 2008 01:29:24 GMT kw 2008-08-06T01:29:24Z ja kw kw's blog http://mizunashi.net:80/blog/