PVSが重要システムで災害を防ぐ方法

航空機や原子力発電所を制御する、非常に信頼性の高いソフトウェアを想像してみてください。それがPVS、プロトタイプ検証システムの力です。1980年代後半に開発されました。この形式言語は、安全性が最優先される複雑なシステムが常に期待通りに動作することを数学的に証明するのに役立ちます。これは、重要なコードの超強力なスペルチェックのようなものです。従来のテストでは見逃されがちな微妙なバグを検出します。