Function validateMachine