SYMBOLIC MODEL CHECKING OF DISCRETE DURATION CALCULUS

• 离散时段演算的符号模型验证