Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Conventional Verification for Unconventional Computing : a Genetic XOR Gate Example

Konur S., Gheorghe M., Dragomir C., Ipate F., Krasnogor N.

Fundamenta Informaticae

2014

Vol. 134, nr 1/2

97--110

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.