| 卫星定位系统的验证原型 |
| |
| 引用本文： | 李一阁,宋国新. 卫星定位系统的验证原型[J]. 华东理工大学学报(自然科学版), 2004, 30(1): 74-77 |
| |
| 作者姓名： | 李一阁 宋国新 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海,200237;华东理工大学计算机科学与工程系,上海,200237 |
| |
| 基金项目： | 国防科技重点实验室基金(99JS94.10.1.DZ4201) |
| |
| 摘 要： | 用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。
|
| 关 键 词： | 模型检查 混合自动机 混合系统 形式化验证 |
| 文章编号： | 1006-3080(2004)01-0074-04 |
| 修稿时间： | 2002-12-01 |
Verification Prototype of Satellite Position System |
| |
| LI Yi-ge,SONG Guo-xin. Verification Prototype of Satellite Position System[J]. Journal of East China University of Science and Technology, 2004, 30(1): 74-77 |
| |
| Authors: | LI Yi-ge SONG Guo-xin |
| |
| Affiliation: | LI Yi-ge,SONG Guo-xin~* |
| |
| 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. |
| |
| Keywords: | model checking hybrid automata hybrid system formal verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
