Valideerbare machines