モデルが特定の安全性制約（プロパティ）に違反しないことを証明する手法はどれか。

2026年3月13日

モデルチェッキングは全探索を用いて、モデルが定義された論理制約を破ることがないかを確認する。

モデル内で複数の遷移が可能な際、確率に基づき遷移を選択するモデルはどれか。

大量の顧客データを「有効なユーザー」と「無効なユーザー」の2つの状態として扱う手法はどれか。