Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Validate Requirements Using Theorem Proving• Proved Several HundredProperties Using PVS• More Time Consumingthat Model-Checking• Use When Model-CheckingWon’t Work© 2006 Rockwell Collins, Inc. All rights reserved.28