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.
Acknowledgements• Dr. Michael Whalen, Rockwell Collins Inc• Ricky Butler, NASA Langley Research Center• Dr. Mats Heimdahl, University <strong>of</strong> Minnesota• <strong>An</strong>jali Joshi, University <strong>of</strong> Minnesota• Ajitha Rathan, University <strong>of</strong> Minnesota• Lucas Wagner, Rockwell Collins Inc© 2006 Rockwell Collins, Inc. All rights reserved.2