卫星定位系统的验证原型  

Verification Prototype of Satellite Position System

作　　者：李一阁[1] 宋国新[1] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237

出　　处：《华东理工大学学报（自然科学版）》2004年第1期74-77,共4页Journal of East China University of Science and Technology

基　　金：国防科技重点实验室基金(99JS94.10.1.DZ4201)

摘　　要：用模型检查的方法对卫星定位系统进行了验证,对把模型检查应用于实际系统进行了初步的探索。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.

关 键 词：卫星定位系统 验证原型 模型检查 混合自动机 混合系统 形式化验证 

分 类 号：P228.1[天文地球—大地测量学与测量工程]