型式証明は、安全性の基準を満たしていることを示すだけ。
これができないって事は、システムとして設計する能力がないっていってるだけだ。

日本のものつくりはせかいいちー、ってほざいて個々の要素を組み合わせれば、いいものができる、なんておもってるからそうなるんだろｗｗ