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