Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

DOI10.3233/FI-2014-1093zbMath1315.68181OpenAlexW1922112848MaRDI QIDQ5259262

Florentin Ipate, Savas Konur, Ciprian Dragomir, Natalio Krasnogor, Marian Gheorghe

Publication date: 26 June 2015

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1093

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Spiking neural P systems: matrix representation and formal verification ⋮ Search-based testing in membrane computing

Uses Software

• MC2

This page was built for publication: Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example