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.
- SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. A. Fifarek, L. Wagner, E. Hoffman, B. Rodes, M. Aiello, J. Davis. NASA Formal Methods Symposium, May 2017.
- Qualification of a Model Checker for Avionics Software Verification. L. Wagner, A. Mebsout, C. Tinelli, D. Cofer, K. Slind. NASA Formal Methods Symposium, May 2017.
- Formal Methods Tool Qualification. L. Wagner, D. Cofer, K. Slind, C. Tinelli, A. Mebsout. NASA Contractor Report NASA/CR-2017-219371, 2017.
- Efficient Generation of Inductive Validity Cores for Safety Properties. E. Ghassabani, A. Gacek, M. Whalen. Foundations of Software Engineering, November 2016.
- Requirements and Architectures for Secure Vehicles. M. Whalen, D. Cofer, A. Gacek. IEEE Software 33(4):22-25, June 2016, doi:10.1109/MS.2016.94.
- From Design Contracts to Component Requirements Verification. J. Liu, J. Backes, D. Cofer, A. Gacek. NASA Formal Methods Symposium, June 2016.
- On Implementing Real-time Specification Patterns Using Observers. J. Backes, M. Whalen, A. Gacek, J. Komp. NASA Formal Methods Symposium, June 2016.
- Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. A. Katis, M. Whalen, A. Gacek. FormaliSE 2016: FME Workshop on Formal Methods in Software Engineering, Austin, TX, USA, May 15, 2016.
Loonwerks is solely responsible for the content of this web site. Such content does not necessarily represent the views of Rockwell Collins.