Towards a general methodology for formal verification on spiking neural P systems Article Swipe

View

Related Concepts

Computer science Computation Neural system Spiking neural network Artificial neural network Membrane computing Theoretical computer science Artificial intelligence P system Models of neural computation Algorithm Biology Neuroscience

Mario J. Pérez–Jiménez , Luis Valencia–Cabrera , David Orellana-Martín , Antonio Ramírez-de-Arellano ·

YOU? · · 2024 · Open Access · · DOI: https://doi.org/10.1016/j.tcs.2024.114705 · OA: W4400081933

P systems are non-deterministic, parallel and distributed models of computation inspired by the behaviour and structure of living cells. Spiking neural P systems synthesise the connections that exist between neurons in the human brain, using pulses as a form of transmission of information. Usually, when a spiking neural P system is defined to solve any problem, it is checked in several cases to know if it works for them. But this methodology is not sufficient to verify if the system always works in a correct way. In this work, we introduce a methodology to look for characteristics in computations of spiking neural P systems that can be used to formally verify that the model works as it is intended.