HOMELv013 モデル内で複数の遷移が可能な際、確率に基づき遷移を選択するモデルはどれか。 2026年3月13日 各遷移に発生確率(重み)を付与することで、より現実的なユーザー行動に近いテストを実現する。 ハードウェア、OS、アプリケーション層を分離してアダプタを設計するメリットはどれか。 モデルが特定の安全性制約(プロパティ)に違反しないことを証明する手法はどれか。