分支时态逻辑

（计算机科学技术）

分支时态逻辑（branching temporal logic），计算机科学技术名词，一种广泛用于系统验证的时态逻辑。它可以用来表示某个性质从当前状态出发所有路径或某些路径都成立。