A Logical Framework for Systems Biology - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Logical Framework for Systems Biology

Résumé

We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems and temporal properties of their dynamic behaviour. To illustrate our methodology, we consider a model of the P53/Mdm2 DNA-damage repair mechanism. We prove several properties that are important for such a model to satisfy and serve to illustrate the promise of our approach. We formalize the proofs of these properties in the Coq Proof Assistant, with the help of a Lambda Prolog prover for partial automation of the proofs.
Fichier principal
Vignette du fichier
fmmb14-final.pdf (220.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01285058 , version 1 (08-03-2016)

Identifiants

Citer

Elisabetta de Maria, Joëlle Despeyroux, Amy Felty. A Logical Framework for Systems Biology. FMMB 2014 - First International Conference on Formal Methods in Macro-Biology, Sep 2014, Noumea, France. ⟨10.1007/978-3-319-10398-3_10⟩. ⟨hal-01285058⟩
206 Consultations
94 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More