Ongoing
AVIACC - Analysis and Verification of Concurrent Systems (FCOMP-01-0124-FEDER-020486)
Past Projects
CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software (FCT contract PTDC/EIA-CCO/108995/2008)
FAVAS - A Formal Verification Platform for Real-Time Systems (FCT contract PTDC/EIA-CCO/105034/2008)
RESCUE - REliable and Safe Code execUtion for Embedded systems (FCT contract PTDC/EIA/65862/2006)
TYPES - Types for Proofs and Programs (6th. framework programme FP6-2002-IST-C 510996)
APPSEM II - Applied Semantics (5th. framework programme thematic network IST-2001-38957)
TYPES - Computer-Assisted Reasoning Based on Type Theory (Thematic network IST-1999-29001)
FACS - Foundations and Applications of Constructor Subtyping (Praxis XXI/C/EEI/14172/98)
LOGCOMP - LOGic and COMPutation (Praxis XXI Project 2/2.1/TIT/1658/95)