ソフトウェアの信頼性を根本的に高める「形式手法(Formal Method)」の本質 | IT Leaders

「新技術を導入する際に目先のコストが膨らむのは、形式手法も例外ではない。それだけに形式手法の活用例は、日本のJAXA宇宙航空研究開発機構)をはじめとする航空宇宙関連など、クリティカル・システムの開発に多い」らしい。そうかな?