27歳のバグがOpenBSDに潜んでいました。500万の自動化テストでも見つかりませんでした。Mythosは数時間でそれを発見しました。さらに悪いことに、単に接続するだけでサーバ全体がクラッシュする可能性もありました。もしモデルがそのような故障パスをこれほど迅速に見つけられるなら、それは単なるバグの発見にとどまりません。間違った場所でそれが使われたらどうなるか想像してみてください。