DeFiサービスの脆弱性を効率的に特定するために、文脈依存型共同的検証(CSCV)を提案する。CSCVは、ユーザー定義の時間的論理プロパティに基づいて、DeFiサービスの全ての主要な脆弱性タイプを自動的に特定することができる。