Past Projects

• PURe - Program Understanding and Re-engineering: Calculi and Applications (FCT contract POSI/CHS/44304/2002)
• AudioBrowser
• METHODES: Methodologies and Tools for Developing Embedded Systems
• SOUR - Eureka 379
• IKF Eureka 2235
• KARMA (P060-P31B-09/97) Data Quality based on Formal Data Reverse Calculation
• SETS
• CAMILA ( JNICT contract Ref. 169/90)
• LOGCOMP

Old webpages:

• Theory and Formal Methods
• Logic and Formal Methods Group
• INESC Braga
• FM Group