Certificare un Insieme di Macchine: quando si fa?