Repositorio de producción científica de la Universidad de Sevilla

A software tool for verification of Spiking Neural P Systems


Advanced Search
Opened Access A software tool for verification of Spiking Neural P Systems

Show item statistics
Export to
Author: Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús
Ramírez Martínez, Daniel
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2008
Published in: Natural Computing, 7 (4), 485-497.
Document type: Article
Abstract: 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.
Cite: 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.
Size: 2.110Mb
Format: PDF


DOI: 10.1007/s11047-008-9083-y

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)