分支时态逻辑

来自术语
跳转至: 导航搜索

    一种广泛用于系统验证的时态逻辑,它可以用来表示某个性质从当前状态出发所有路径或某些路径都成立。

英文名 branching temporal logic