Ponencia
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
Autor/es | Konur, Savas
Gheorgue, Marian Dragomir, Ciprian Ipate, Florentin Krasnogor, Natalio |
Fecha de publicación | 2014 |
Fecha de depósito | 2016-01-28 |
Publicado en |
|
ISBN/ISSN | 978-84-940056-4-0 |
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 ... 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
221_xor-bwmc.pdf | 1.062Mb | [PDF] | Ver/ | |