Sentit algebraic
Pensament computacional per investigar
La unitat transforma situacions en models amb entrades, restriccions i sortides, i els converteix en algorismes verificables. El treball culmina en comprovadors o simuladors provats amb casos normals i límit, depurats amb traces i documentats mitjançant un registre de millores.