Browse by author
Lookup NU author(s): Professor Natalio KrasnogorORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Konur S, Gheorghe M, Dragomir C, Ipate F, Krasnogor N
Publication type: Article
Publication status: Published
Journal: Fundamenta Informaticae
Online publication date: 24/11/2014
ISSN (print): 0169-2968
ISSN (electronic): 1875-8681
Publisher: IOS Press
Altmetrics provided by Altmetric