CTL* とは

CTL *は、計算ツリー論理(CTL)および線形時間論理(LTL)のスーパーセットである。これは、パスの数量子と時間的な演算子を自由に組み合わせます。 CTLと同様に、CTL *は分岐時間論理である。 CTL *公式の公式セマンティクスは、与えられたクリプケ構造に関して定義される。