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

DOI10.1080/03081079.2014.924203zbMath1366.68184OpenAlexW2042873040WikidataQ57691184 ScholiaQ57691184MaRDI QIDQ2930717

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)

Cites Work

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

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