金融業務プロセスの設計脆弱性を自動検出

金融機関における承認フロー、KYC、決済などの業務プロセスは設計時に論理的脆弱性が見過ごされやすい。状態機械として記述したプロセスに対して、迂回可能性や必須ステップの欠落、補償なき不可逆処理などの構造的問題を自動検出し、デプロイ前の検証を実現する課題。