Conventional verification for unconventional computing: a genetic XOR gate example

DOI10.3233/FI-2014-1093MaRDI QIDQ5259262zbMATH OpenOpenAlexFDO

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

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)

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

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

Describes a project that uses

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)