validate final memory state as part as the verification process