産業での応用
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/11/10 06:15 UTC 版)
設計の複雑さが増すにつれ、形式的検証技法の重要性は特にハードウェア業界で増している。コンポーネント間の潜在的な微妙な相互作用により、シミュレーションだけで考えられる組合せをすべて調べるのは難しくなってきている。ハードウェア設計の重要な面は自動化証明技法に適しており、形式的検証の導入が容易で生産的である。 2011年現在、いくつかのオペレーティングシステムが形式的検証を採用している。 Embedded L4 microkernel(NICTA) Integrity(Green Hills Software) PikeOS(SYSGO)
※この「産業での応用」の解説は、「形式的検証」の解説の一部です。
「産業での応用」を含む「形式的検証」の記事については、「形式的検証」の概要を参照ください。
- 産業での応用のページへのリンク