Métodos Formales

El grupo de Métodos Formales del INCO se formó a comienzos del año 1998. Sus principales áreas de investigación son "Constructive Type Theory", "FormalVerification of Reactive Systems" y "Generic Programming and Program Fusion".