>　type2. Spec(Pgr)に動かない
>　　→プログラマに「プログラムは思ったとおりに動かない」ことを認知させることでこの種の「バグ」は取り除くことが(ry？
これはいったい、何がどう解決してますか？