abstract:Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. It is one of the very best conferences in computer science.
Theanalysis, designandverificationfortheelectrical powersystem of deepspaceprober are given on the basis of "deep impact", and the software of computer aideddesign is developed.