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

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

Opened Access Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
Estadísticas
Icon
Exportar a
Autor: Konur, Savas
Gheorgue, Marian
Dragomir, Ciprian
Ipate, Florentin
Krasnogor, Natalio
Fecha: 2014
Publicado en: 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,
ISBN/ISSN: 978-84-940056-4-0
Tipo de documento: Ponencia
Resumen: 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.
Tamaño: 1.062Mb
Formato: PDF

URI: http://hdl.handle.net/11441/33502

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones