Per rendere i sistemi affidabili, Aleo separa l'atto di calcolo dall'atto di verifica. Questa separazione garantisce scalabilità. Come chiamiamo questo modello di design?