多くの装置がコンピューターによって制御されるようになった現代では、機械そのものの安全性はもちろん、それを制御するプログラムの安全性が極めて重要です。その中でも特にコンピューターによる制御が多く取り入れられている旅客機と、技術の粋を集めた宇宙ロケットの制御ソフトウェア構築の現場では非常に高い正確性が…