モデルが特定の安全性（セーフティ）プロパティを満たしているか検証する技術はどれか。

2026年3月13日

モデルチェッキングは、数理的な手法を用いてモデルが設計上の制約に違反しないかを確認する。

回帰テストにおけるMBTの最大の強みはどれか。

MBTに関連するモデリングの標準を策定している主な団体はどれか。