Current projects include the following:

  • The Comprehensive Lifecycle for Assuring System Safety – CLASS
  • Model-Based Compositional Reasoning for Complex Systems of Systems
  • Formal Verification of System Properties in Model-based Development
  • Formal Verification of Security Properties of Binary Programs
  • Airspace Integration Safety Case for the Navy MQ-4C Triton Unmanned Aircraft System