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