青年中文logic checker的意思
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給出一個實例，提出了利用該工具針對系統的線性時序邏輯性質進行變異分析的方法。
英語使用場景