Why the model checking technique is successful for HW verification, and failing for SW verification? For HW verification, HW like digital circuits are easy to model checking. But for SW, SW is usually so huge, we can only apply MC for abst…

林晋さんのこと、根拠なきイチャモンのことhttp://d.hatena.ne.jp/m-hiyama/20151109/1447026954 いずれにしても、既存の方法や習慣とギャップがあると受け入れてもらえないので、今のやり方のなかに少しずつ形式性や厳密性を注入していくしかないような気が…