Yicesソフトウェアがエラーを自動でチェック

SRIインターナショナルが開発した高度なSMTソルバーYicesは、複雑なソフトウェアやハードウェアを自動で検証します。2006年にリリースされました。システム動作を数式に変換し、自動推論でエラーをチェックします。これにより、バグを発見し信頼性を確保します。このプロセスは、数十億ドルの損失につながる高額な障害を防ぎ、重要なアプリケーションに不可欠です。