Anàlisi
Algorismes i fulls de càlcul revisables
La unitat transforma situacions socials i financeres en algorismes revisables: dades, passos, fórmules, condicions i sortides. També estableix com comparar implementacions, provar llindars i documentar una correcció amb evidències.