theorem proving短语¹⁰⁶¹⁰⁰⁺⁵ 基本例句 定理证明 There are two main methods for verifying embedded systems. One is theorem proving, the other is model checking. We try to apply model checking to verify the satellite position system. 用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。 journal.ecust.edu.cn