Validazione di un modello probabilistico degli span complessi basato sulla Theory of Constructive Operators