Lessons from 20 Years of Industrial Formal Methods Download Tags: Flight Control formal methods Microprocessor model checking Model-Based Development Rockwell Collins Safety security Technology Transfer Theorem Proving Avionics Modeling Science of Security Industry Designed-In Security (HCSS'12) License: CC-2.5 Submitted by Timothy Thimmesch on Fri, 09/28/2012 - 22:07