2 papers
cs.LO2025
Modelling and Verifying Neuronal Archetypes in Rocq
Abdorrahim Bahrami, Rébecca Zucchini, Elisabetta De Maria +1
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…
q-bio.QM2020
Computational Logic for Biomedicine and Neurosciences
Elisabetta de Maria, Joelle Despeyroux, Amy Felty +3
We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological system…