Internal auditors may be required to verify that the equipment or software pass the specified tests.
The software has to be verified by the auditors.
mnli hypothesis: The software has to be verified by the auditors. premise: Internal auditors may be required to verify that the equipment or software pass the specified tests.