6.4 符号模型检验
6.4.4 CTL符号模型检验
2. CTL 公式求值