2. Perform test witnessing for safety-
critical
software.