７００号記念特集　創る【第三章】〜形式手法で高信頼社会を創る
日経コンピュータ　第700号　2008.3.24

次の社会を支える基盤を創るのに必要なのは、全体を見わたす視点であり、その信頼性を科学的に証明できるアプローチだ。あらゆる部分にソフトウエアが行き渡り、ネットワーク化された社会では、一部のソフトの変調が社会全体を狂わしかねない。信頼性が高いシステムを創るために、数学的な設計手法である「形式手法」が、改めて注目されている。安心・安全な社会基盤の実現においても、テクノロジの活用が不可欠である。　「ディペ…