Conventional verification for unconventional computing: a genetic XOR gate example

DOI10.3233/FI-2014-1093zbMATH Open1315.68181OpenAlexW1922112848MaRDI QIDQ5259262FDOQ5259262

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

Recommendations

• Specification, testing and verification of unconventional computations using generalizedX-machines
• scientific article; zbMATH DE number 2013803
• Verification is experimentation!
• scientific article; zbMATH DE number 1759598
• Formal verification for non-formalists

Mathematics Subject Classification ID

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

Cited In (3)

• Spiking neural P systems: matrix representation and formal verification
• Search-based testing in membrane computing
• Specification, testing and verification of unconventional computations using generalizedX-machines

Uses Software

• MC2

This page was built for publication: Conventional verification for unconventional computing: a genetic XOR gate example

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259262)