卫星定位系统的验证原型
Verification Prototype of Satellite Position System
-
摘要: 用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。Abstract: 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.
下载: