Computer-aided Formal Proofs about Dendritic Integration within a Neuron Topics: Simulation and Modeling; Systems Biology In Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOSTEC, 49-60, 2018 , Funchal, Madeira, Portugal