Artículo
A software tool for verification of Spiking Neural P Systems
Autor/es | Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús Ramírez Martínez, Daniel |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2008 |
Fecha de depósito | 2017-12-27 |
Publicado en |
|
Resumen | The formal verification of a Spiking Neural P System (SN P Systems, for short)
designed for solving a given problem is usually a hard task. Basically, the verification
process consists of the search of invariant formulae ... The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae such that, once proved their validity, show the right answer to the problem. Even though there does not exist a general methodology for verifying SN P Systems, in (Pa˘un et al., Int J Found Comput Sci 17(4):975– 1002, 2006) a new tool based on the transition diagram of the P system has been developed for helping the researcher in the search of invariant formulae. In this paper we show a software tool which allows to generate the transition diagram of an SN P System in an automatic way, so it can be considered as an assistant for the formal verification of such computational devices. |
Agencias financiadoras | Ministerio de Educación y Ciencia (MEC). España Junta de Andalucía |
Identificador del proyecto | TIN2006-13425
TIC-581 |
Cita | Gutiérrez Naranjo, M.Á., Pérez Jiménez, M.d.J. y Ramírez Martínez, D. (2008). A software tool for verification of Spiking Neural P Systems. Natural Computing, 7 (4), 485-497. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
s11047-008-9083-y.pdf | 2.110Mb | [PDF] | Ver/ | |