Scalable workflows for creating resilience cyber defense that is backed by:
- Formal Verification
- System Monitoring
- Failsafes
Research
- Specification reviewed by humans and human-AI teams (Verification and Validation Method)
- Runtime monitors that check in real-time, can shut down system if bounds are violated (Black Box Simplex Architecture for Runtime Assurance of Autonomous Cyber Physical System)