A Logical Framework for Systems Biology

Abstract : 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.
Type de document :
Communication dans un congrès
François Fages; Carla Piazza. FMMB 2014 - First International Conference on Formal Methods in Macro-Biology, Sep 2014, Noumea, France. Springer, Springer LNCS 8738, 8738, 2014, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-319-10398-3_10>
Liste complète des métadonnées


https://hal.inria.fr/hal-01285058
Contributeur : Joelle Despeyroux <>
Soumis le : mardi 8 mars 2016 - 15:01:49
Dernière modification le : mardi 13 décembre 2016 - 15:40:25
Document(s) archivé(s) le : dimanche 13 novembre 2016 - 11:13:12

Fichiers

fmmb14-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Elisabetta De Maria, Joëlle Despeyroux, Amy Felty. A Logical Framework for Systems Biology. François Fages; Carla Piazza. FMMB 2014 - First International Conference on Formal Methods in Macro-Biology, Sep 2014, Noumea, France. Springer, Springer LNCS 8738, 8738, 2014, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-319-10398-3_10>. <hal-01285058>

Partager

Métriques

Consultations de
la notice

124

Téléchargements du document

39