>>212
＞結局ソフトウェア業界なんて計算機科学の基礎的な知識のない人が
＞過半数を占めているわけで

でも計算機科学（というかソフトウェアサイエンス）の基礎知識なんて
大したもんじゃないって。それにそんなのは論文書いて大学の先生に
なるためのもんだよ。例えば立命館の高山先生とか（笑）

＞いくら有用なツールが出てきたところで、
＞その辺りの人が使えなければ意味ないよね。

それはそうだね。
モデルチェッキングはツールとして有用な気がするけど
証明系はどうかな。