Canh Minh

Symbolic Model Checking Quantum Circuits in Maude

2023 · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering

This paper presents a symbolic approach to model checking quantum circuits by using a set of laws from quantum mechanics and basic matrix operations with Dirac notation.We use Maude, a high-level specification/programming language based on …