Review on Spacecraft Formal System Design Verification

Abstract

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.