Strengthening the Verification Process Food safety auditors need a firm foundation in the causes for foodborne illness in order to carry out an effective and meaningful verification of a HACCP plan.

Formal verification is increasingly used for checking and proving the correctness of digital systems. In this paper, we present formal verification as a cost-effective technique for the verification ...