Symbolic model checking quantum circuits in Maude.
Canh Minh DoKazuhiro OgataPublished in: PeerJ Comput. Sci. (2024)
Keyphrases
- symbolic model checking
- quantum computing
- model checking
- logic circuits
- formal specification
- partial observability
- formal verification
- model checker
- conformant planning
- temporal logic
- binary decision diagrams
- symbolic representation
- specification language
- formal methods
- planning problems
- data mining
- machine translation