1) Computation tree logic CTL
计算树逻辑CTL
3) CTL logic
CTL逻辑
1.
Firstey the Kripke structure which is used to describe the behavior of a system and the CTL logic which is used to describe the property of a system were introduced.
文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术。
4) CTL temporal logic
CTL时态逻辑
5) computing logic
计算逻辑
1.
Implementment of computing logic based of database application;
基于数据库应用的计算逻辑的实现
6) computer logics
计算机逻辑
补充资料：计算
①根据已知数通过数学方法求得未知数：～人数 ㄧ～产值。②考虑；筹划：做事没个～，干到哪儿算哪儿。③暗中谋划损害别人：当心被小人～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条