Review on Spacecraft Formal System Design Verification

摘要：

This paper introduces a system design verification method-Formal verification methods.The verification methods overcome the insufficiency of traditional test verification and simulation verification,it will omnidirectional verify the correctness of the design. By introducing formal system design and verification methods,pointing out that the formal verification ideas of the spacecraft design.

作者: Huamao WANG Yan WANG

作者单位: China Academy of Space Technology,Beijing 100094,China

会议类型: 国际会议

会议名称: The Fifth IEEE International Symposium on Embedded Computing(SEC 2008)(第五届IEEE国际嵌入式系统计算会议)

会议地点: 北京

会议语种:英文

页码: 388-393

在线出版日期: 2008-10-06（万方平台首次上网日期，不代表论文的发表时间）