>>従って「型式証明用の設計」というのはたしかに実在する

そこまで「たしかに」と言うのであれば、具体的な例、ソースを示してみれば？
出せなかったら嘘確定だし。