Modelling and Verifying Dynamic Properties of Neuronal Networks in Coq
Since the mid-1990s, formal verification has become increasingly important because it can provide guarantees that a software system is free of bugs and working correctly based on a provided model. Verification of biological and medical systems is a promising application of formal verification. Huma...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
Université d'Ottawa / University of Ottawa
2021
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10393/42643 http://dx.doi.org/10.20381/ruor-26863 |