Electronic Appendix
Modeling and Verifying Dynamic Properties of Biological Neural
Networks in Coq,
by Abdorrahim Bahrami, Elisabetta De Maria, and Amy Felty.
In Proceedings of the 9th International Conference on Computational
Systems-Biology and Bioinformatics (CSBio 2018),
December 2018
Formal Proofs in Coq
- Neuron.v (The code has been tested in Coq Versions 8.7.0 and 8.8.1.)