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