PAC 3 · Formalització del sistema