Recent Projects

  • SoI: Air Force Research Lab's Summer of Innovation
  • AMASE: Architectural Modeling and Analysis for Safety Engineering
  • FMTQ: Formal Methods Tool Qualification
  • HACMS: High Assurance Cyber Military Systems

Past Projects

  • 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