Referenced Items are not available for this document.
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.
Published in:
Embedded Computing, 2008. SEC '08. Fifth IEEE International Symposium on
Date of Conference: 6-8 Oct. 2008
- Page(s):
- 388 - 393
- Print ISBN:
- 978-0-7695-3348-3
- INSPEC Accession Number:
- 10615597
- Conference Location :
- Beijing
- Digital Object Identifier :
- 10.1109/SEC.2008.69
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
