境界値分析をMBTに適用する際の方法として適切なものはどれか。

複数の独立したモデルが共有リソースにアクセスする際の競合を検出する手法はどれか。