Specification, testing and verification of unconventional computations using generalizedX-machines

DOI10.1080/03081079.2014.924203MaRDI QIDQ2930717zbMATH OpenOpenAlexWikidataFDO

Authors Mike Stannett

Publication date 19 November 2014

Published in International Journal of General Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/03081079.2014.924203

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2050930
• scientific article; zbMATH DE number 6125212
• On the construction of a generalized computational experiment in verification problems
• Testing conformance to a quasi-non-deterministic stream X-machine
• Testing non-deterministic stream X-machine models and P systems
• Testing non-deterministic stream X-machine models and P systems
• Conventional verification for unconventional computing: a genetic XOR gate example
• Testing methods for X-machines: a review
• A theory of speculative computation

Cites work

• An integration testing method that is proved to find all faults
• Computable structures and the hyperarithmetical hierarchy
• Membrane system models for super-Turing paradigms
• Membrane systems and hypercomputation
• Non-Turing computations via Malament--Hogarth space-times
• Testing Software Design Modeled by Finite-State Machines
• Using Isabelle/HOL to verify first-order relativity theory

Cited in

(2)

• Conventional verification for unconventional computing: a genetic XOR gate example
• Unconventional algorithms: complementarity of axiomatics and construction

This page was built for publication: Specification, testing and verification of unconventional computations using generalizedX-machines

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