久しぶりに懇親会に参加。
ついでにお酒を飲むのも久しぶり。
最初のほうはバイクの話しをして、途中からはPascalとあきぴーさんがJAVAの話をしているのを聞いてた。
最後のほうでせっかくこなみ先生と席が一緒なので、Pascalが以前から言ってたプロコンについての意見を伺う。
大変参考になりました。
帰る間際になって形式検証の今後について聞かれた。
形式検証が現場に下りてくるのはたぶんあと3年はかかるんじゃないかと思う。
もしくは、形式検証のごく一部の機能だけがテストに用いられるんじゃないかな。
まぁ、私は予想屋ではないからなんともいえないので酔っ払いのたわごとだと思って欲しい。
あー、RushCheckを調べるか。