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

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

 

Advanced Search
 
Opened Access Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
Cites
Show item statistics
Icon
Export to
Author: Konur, Savas
Gheorgue, Marian
Dragomir, Ciprian
Ipate, Florentin
Krasnogor, Natalio
Date: 2014
Published in: 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
Document type: Presentation
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.
Size: 1.062Mb
Format: PDF

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

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

This item appears in the following Collection(s)