dc.creator | Gutiérrez Naranjo, Miguel Ángel | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Ramírez Martínez, Daniel | es |
dc.date.accessioned | 2017-12-27T08:22:03Z | |
dc.date.available | 2017-12-27T08:22:03Z | |
dc.date.issued | 2008 | |
dc.identifier.citation | 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. | |
dc.identifier.issn | 1567-7818 | es |
dc.identifier.uri | http://hdl.handle.net/11441/68015 | |
dc.description.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. | es |
dc.description.sponsorship | Ministerio de Educación y Ciencia TIN2006-13425 | es |
dc.description.sponsorship | Junta de Andalucía TIC-581 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | Natural Computing, 7 (4), 485-497. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Membrane Computing | es |
dc.subject | Spiking Neural P systems | es |
dc.subject | Transition diagram | es |
dc.title | A software tool for verification of Spiking Neural P Systems | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/acceptedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | TIN2006-13425 | es |
dc.relation.projectID | TIC-581 | es |
dc.relation.publisherversion | https://link.springer.com/article/10.1007%2Fs11047-008-9083-y | es |
dc.identifier.doi | 10.1007/s11047-008-9083-y | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 13 | es |
dc.journaltitle | Natural Computing | es |
dc.publication.volumen | 7 | es |
dc.publication.issue | 4 | es |
dc.publication.initialPage | 485 | es |
dc.publication.endPage | 497 | es |
dc.identifier.sisius | 6606687 | es |
dc.contributor.funder | Ministerio de Educación y Ciencia (MEC). España | |
dc.contributor.funder | Junta de Andalucía | |