Loonwerks is a finite set of formal methods researchers based in the Minneapolis office of Rockwell Collins. Our work is focused on the use of formal methods to create safe and secure avionics software. We build tools that make the latest advances in automated analysis from the research community accessible to system and software developers in industry.
Loonwerks is solely responsible for the content of this web site. Such content does not necessarily represent the views of Rockwell Collins.