machine verification