静的コード解析の会#6でVeriFastによる停止性検査について発表してきました。(資料作って徹夜してしまった…) 前回も同じテーマでしたが私の理解も資料も十分でなかったため(α)としてました。 が、今回の発表では多重集合、整礎関係、実際の処理系で検査でき…

静的コード解析の会#2でVeriFastによる停止性検証の導入の話をしてきました http://d.hatena.ne.jp/eldesh/20161121/1479703222">*1。 本当は私自身も発表するほど分かってないのですが、それでも楽しい部分はあるので「これまで理解している内容を詰め込ん…

#静的コード解析の会 第0回でC言語(とJava)の検証器であるVeriFastについて発表してきました。資料は公開してあるので興味ある人は見てください。動画もあります。 > https://metasepi.connpass.com/event/42141/presentation/ 結構(私の理解が)きわどい質問…