Tavole di verifica per probabilistico:

viene proposta una maschera nella quale scegliere fino a tre variabili esistenti (con doppio click del mouse) o definire, con posizione e lunghezza, fino a tre variabili che identifichino in modo univoco i record del file dati prima e dopo la correzione. In questo caso il sistema nominerà le variabili con key1,key2…

Queste variabili servono ad accoppiare il file dei dati grezzi con il file dei dati corretti e dei dati esatti e per questo motivo i record devono mantenere la stessa disposizione in tutti gli archivi. Se non esistono variabili nel file dei dati grezzi, che identifichino in modo univoco i record da sottoporre a check e correzione, è possibile utilizzare l'utility di numerazione per creare una variabile adatta allo scopo e numerare il file di input prima del passaggio di check.

Dal menu File:

Save and run: esegue l'elaborazione attraverso una macro SAS che sviluppa gli incroci per tutte le variabili ed esce.
Exit: esce senza elaborare.
Run source file: esegue l'elaborazione dei programmi generati dall'apposita funzione ed esce. E' attiva solo se è stato generato il sorgente SAS.

Dal menu Funzioni:

Genera SAS source: dopo aver indicato le variabili è possibile generare, nella cartella di progetto, i sorgenti dei programmi SAS necessari all'elaborazione. Questa opzione permette all'utente di modificare eventualmente i sorgenti SAS per una elaborazione personalizzata.
Clear: annulla tutte le variabili inserite ripristinando i campi.

L'esecuzione utilizza procedure SAS (sort, merge e freq) e in output si avranno la distribuzione delle frequenze per tutte le variabili definite e la distribuzione incrociata di tutte le variabili definite tra il file prima delle fasi di controllo e correzione, e il file contenente i record esatti e corretti.