A software tool for verification of Spiking Neural P Systems

TitleA software tool for verification of Spiking Neural P Systems
Publication TypeJournal Papers
Year of Publication2008
AuthorsGutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Ramírez-Martínez D.
Journal TitleNatural Computing
PublisherSpringer Verlag
Place PublishedAmsterdam, Netherlands
Date Published12/2008

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 (Pă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.

KeywordsMembrane computing; Spiking Neural P systems; Transition diagram

online version (http://dx.doi.org/10.1007/s11047-008-9083-y)

ISSN Number1567-7818