Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
复制标题

DOI：
10.3233/fi-2014-1093
复制
发表时间：
2014
期刊：
Fundam. Informaticae
影响因子：
--
通讯作者：
Savas Konur;M. Gheorghe;C. Dragomir;F. Ipate;N. Krasnogor
Savas Konur;M. Gheorghe;C. Dragomir;F. Ipate;N. Krasnogor
中科院分区：
其他
文献类型：
--
作者：
Savas Konur;M. Gheorghe;C. Dragomir;F. Ipate;N. Krasnogor

文献摘要

相似文献

随着非常规计算的成熟和非标准编程框架的展示，形式化验证的需求将变得更加普遍。这是因为在非常规衬底中“编程”是困难的。在本文中，我们将展示如何使用传统的验证工具来验证非常规的程序实现逻辑异或门。
As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper we show how conventional verification tools can be used to verify unconventional programs implementing a logical XOR gate.