National Project


Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs


Duration: from 2016 Jul 01 to 2019 Jun 30

Financed by: FCT (PTDC/EEICTP/2914/2014)

Prime Contractor: INESC-ID (Other)

We aim to develop methods to assist modelers in the analysis of logical models of regulatory-signaling networks. In particular, we aim to assess the model's attractors and basins of attraction, including their reachability properties. To achieve this goal, we will rely on formal methods that have been successfully applied to the development and verification of software and hardware systems, such as Boolean Satisfiability (SAT) and model checking, for the analysis of discrete dynamical systems. Overall, our proposed developments are expected to provide means for a deeper and comprehensive understanding of how regulatory-signaling networks drive cellular processes. Additionally, even though the results to be achieved in the context of this project have a direct application in the field of Systems Biology, the formal methods supporting those results can benefit all applications based on discrete event systems.

Partnerships:  Fundação Calouste Gulbenkian (Other) - Lisboa, Portugal
Partnerships:  INESC-ID (Other)


Principal Investigator: Pedro Tiago Gonçalves Monteiro

Members:  Pedro Tiago Gonçalves Monteiro
Members:  Maria Inês Camarate de Campos Lynce de Faria
Members:  Pedro do Nascimento Barata Leal Varela

Return to Project List