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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01919043
Contributor : Elisabetta de Maria <>
Submitted on : Friday, November 16, 2018 - 10:56:45 AM
Last modification on : Thursday, February 7, 2019 - 2:50:13 PM
Document(s) archivé(s) le : Sunday, February 17, 2019 - 1:03:15 PM

File

BahramiEtAl_CsBio2018withoutCR...
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01919043⟩

Share

Metrics

Record views

50

Files downloads

52