AIやマイクロサービスが普及した現代のシステムは非決定論的で、静的な監査では不十分です。実行時の変化を捉えるため、証拠ベースの継続的検証手法であるAdaptive Survivable Verification System (ASVS)への移行が必要であると説く技術解説記事です。