Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

dc.creator	Konur, Savas
dc.creator	Gheorgue, Marian
dc.creator	Dragomir, Ciprian
dc.creator	Ipate, Florentin
dc.creator	Krasnogor, Natalio
dc.date.accessioned	2016-01-28T11:08:37Z
dc.date.available	2016-01-28T11:08:37Z
dc.date.issued	2014
dc.identifier.isbn	978-84-940056-4-0	es
dc.identifier.uri	http://hdl.handle.net/11441/33502
dc.description.abstract	As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates is di cult. In this paper we show how conventional veri cation tools can be used to verify unconventional programs implementing a logical XOR gate.	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Fénix Editora	es
dc.relation.ispartof	Proceedings of the Twelfth Brainstorming Week on Membrane Computing, 221-234. Sevilla, E.T.S. de Ingeniería Informática, 3-7 de Febrero, 2014,	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dc.type.version	info:eu-repo/semantics/publishedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess
dc.identifier.idus	https://idus.us.es/xmlui/handle/11441/33502

Ficheros	Tamaño	Formato	Ver	Descripción
221_xor-bwmc.pdf	1.062Mb	[PDF]	Ver/Abrir

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional