Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq

Abstract : Formal verification has become increasingly important because of the kinds of guarantees that it can provide for software systems. Verification of models of biological and medical systems is a promising application of formal verification. Human neural networks have recently been emulated and studied as a biological system. Some recent research has been done on modelling some crucial neuronal circuits and using model checking techniques to verify their temporal properties. In large case studies, model checkers often cannot prove the given property at the desired level of generality. In this paper, we provide a model using the Coq Proof Assistant and prove properties concerning the dynamic behavior of some basic neuronal structures. Understanding the behavior of these modules is crucial because they constitute the elementary building blocks of bigger neuronal circuits. By using a proof assistant, we guarantee that the properties are true for any input values, any length of input, and any amount of time. With such a model, there is the potential to detect inactive regions of the human brain and to treat mental disorders. Furthermore, our approach can be generalized to the verification of other kinds of networks, such as regulatory, metabolic, or environmental networks.
Type de document :
Communication dans un congrès
9th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2018, Bangkok, Thailand. ACM, Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01919043
Contributeur : Elisabetta De Maria <>
Soumis le : vendredi 16 novembre 2018 - 10:56:45
Dernière modification le : jeudi 29 novembre 2018 - 16:02:35

Fichier

BahramiEtAl_CsBio2018withoutCR...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01919043, version 1

Collections

Citation

Abdorrahim Bahrami, Elisabetta De Maria, Amy Felty. Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq. 9th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2018, Bangkok, Thailand. ACM, Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics. 〈hal-01919043〉

Partager

Métriques

Consultations de la notice

31

Téléchargements de fichiers

23