logic checker

意思翻译

逻辑检查器

相似词语短语

logic───n.逻辑；逻辑学；逻辑性

checker car───方格车

originality checker───创意检查器

cartesian logic───笛卡尔逻辑

checker pattern───（玻璃钢化时的）风嘴印

bin checker───垃圾箱检查器

effectual logic───有效逻辑

chinese checker───中文校对员

checker flag───黑白格旗

双语使用场景

This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …───介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。

英语使用场景 logic checker