卫星定位系统的验证原型

用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。