Definitive Contract to Rockwell Collins, Inc. by Defense Contract Management Agency: $696,282 obligated, latest action 2019-05-29. Formal Verification of…