Past Projects

• SoI: Air Force Research Lab's Summer of Innovation
• FMTQ: Formal Methods Tool Qualification
• CCAS: Certification Considerations for Adaptive Systems
• CVFCS: Compositional Verification of Flight Critical Systems
• DO-333: Certification Case Studies using Formal Methods
• META: Complexity-Reducing Design Patterns for Cyber-Physical Systems