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.
Example 2ADGS-2100 Adaptive Display & Guidance System4,295 Subsystems16,117 Simulink BlocksOver 10 37 Reachable StatesExample Requirement:Drive the Maximum Number <strong>of</strong> Display UnitsGiven the Available Graphics ProcessorsCounterexample Found in 5 Seconds!Checking 573 Properties -Found 98 Errors!© 2006 Rockwell Collins, Inc. All rights reserved.36