Projects
Current projects include the following:
- Arguing Safe Autonomous Maneuvers with a Runtime Assurance-Protected Neural Network Controller
- Development of Assured Software Through Formal Specification
Past projects have included the following:
- Application of Formal Methods to Software for Autonomy Services
- Assurance of Manned-Unmanned Teaming (Assured MUM-T)
- 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