Published January 28, 2016 | Version v1
Publication Metadata-only

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

Creators

Description

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.

Additional details

Identifiers

URL
https://idus.us.es/handle/11441/33502
URN
urn:oai:idus.us.es:11441/33502

Origin repository

Origin repository
USE