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

DOI10.1080/03081079.2014.924203zbMATH Open1366.68184OpenAlexW2042873040WikidataQ57691184 ScholiaQ57691184MaRDI QIDQ2930717FDOQ2930717

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

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

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)