計測誤差があっても安全性を担保できるソフトウェアへの自動変換手法を開発

開発手法の概要（クリックで拡大） 出典：国立情報学研究所