Presentation
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
Author/s | Konur, Savas
Gheorgue, Marian Dragomir, Ciprian Ipate, Florentin Krasnogor, Natalio |
Publication Date | 2014 |
Deposit Date | 2016-01-28 |
Published in |
|
ISBN/ISSN | 978-84-940056-4-0 |
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 ... 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
221_xor-bwmc.pdf | 1.062Mb | [PDF] | View/ | |