静的コード解析の会#9

(会場と日程を変更しました) #静的コード解析の会 第9回 - connpass に行ってきました。今回も何らかの発表は出来ず。
どこかで宣伝したらしく、前回から人数が大幅に増えて14~5人くらいの参加者でした。

参加者の傾向としては：

• なぜかIsabelle使いが多い。
• モデル検査勢が(人数的に)優勢。
• 他は各々の好みでいろいろ。

といった感じでした。