Software di controllo della casualità