For solo submission.
BobGuard uses IBM Bob to verify UAV failsafe software by generating failure scenarios, tracing state transitions, detecting unsafe behavior, repairing defects, and validating fixes through regression and mutation testing.
