U.Minho UM Formal Methods Group
[ DI/UM ]

About the Group's Origins

Interest in Formal Methods at the Informatics Department of Minho University started in 1984. By 1989 a group was set up by a protocol with the INESC R&D institute (see INESC Group #2361 ). Its main target was to promote the adoption of Formal Methods by industrial partners in R&D contracts (see the CAMILA project).

By 1997 the group stopped its formal liaison with INESC due to financial difficulties. It is currently a small but active academic group mainly devoted to program calculation and the development of the SETS calculus for data refinement.

R&D Members

Current members: Past postgraduate students:

R&D Subjects

Current areas of interest are

Lecturing Activity

(The URLs mentioned below are available in Portuguese.)

The Liaisons

Past and Current Projects

A sample of past or on-going R&D projects follows (in alphabetic order):


See the following URLs: SETS , CAMILA and INESC Group #2361 .

More About Formal Methods

Jose Nuno Oliveira