ニュース 2012年8月22日 火星探査機「キュリオシティ」を着陸成功に導いた静的解析ツール（関連情報）：フライトソフトウェア200万行をテスト [八木沢篤，＠IT MONOist] 記事を見る 記事を見る
