Affiliations: Department of Computer Science, University of Sheffield, Sheffield, UK. {s.konur, m.gheorghe, c.dragomir}@sheffield.ac.uk | Department of Computer Science, University of Bucharest, Bucharest, Romania. [email protected] | School of Computing Science, Newcastle University, Newcastle, UK. [email protected]
Note: [] Address for correspondence: Department of Computer Science, University of Sheffield, S1 4DP Sheffield, UK
Abstract: As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper we show how conventional verification tools can be used to verify unconventional programs implementing a logical XOR gate.
