Symbolic Model Checking Quantum Circuits in Maude.
Canh Minh DoKazuhiro OgataPublished in: SEKE (2023)
Keyphrases
- symbolic model checking
- quantum computing
- model checking
- logic circuits
- formal specification
- partial observability
- model checker
- formal verification
- conformant planning
- binary decision diagrams
- temporal logic
- symbolic representation
- formal methods
- finite state
- specification language
- machine learning
- description language
- dynamic programming
- artificial intelligence