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 :
Rapport
[Research Report] 2014, pp.34
Liste complète des métadonnées


https://hal.inria.fr/hal-00981409
Contributeur : Joelle Despeyroux <>
Soumis le : mardi 22 avril 2014 - 11:11:10
Dernière modification le : mardi 13 décembre 2016 - 15:41:08
Document(s) archivé(s) le : lundi 10 avril 2017 - 16:05:35

Fichiers

hal-report.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00981409, version 1
  • ARXIV : 1404.5439

Collections

Citation

Elisabetta De Maria, Joelle Despeyroux, Amy Felty. A Logical Framework for Systems Biology. [Research Report] 2014, pp.34. <hal-00981409>

Partager

Métriques

Consultations de
la notice

325

Téléchargements du document

157