Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Advantage <strong>of</strong> Model CheckingTesting Checks Only the Values We SelectModel Checker Tries Every Possible Value!Even Small Systems Have Trillions(<strong>of</strong> Trillions) <strong>of</strong> Possible Tests!Finds every exception to theproperty being checked!© 2006 Rockwell Collins, Inc. All rights reserved.22