文献类型：期刊文献

中文题名：卫星定位系统的验证原型

英文题名：Verification Prototype of Satellite Position System

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

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

年份：2004

卷号：30

期号：1

起止页码：74

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;EI(收录号：2004138091829);Scopus;北大核心:【北大核心2000】；CSCD:【CSCD2011_2012】；

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

语种：中文

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

外文关键词：model checking; hybrid automata; hybrid system; formal verification

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