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