QPMC: A Model Checker for Quantum Programs and Protocols.

Yuan Feng Ernst Moritz Hahn Andrea Turrini Lijun Zhang

Published in: FM (2015)

Keyphrases

fuzzy logic
model checker
model checking
formal verification
formal methods

temporal logic
description language
formal specification
symbolic model checking
computational intelligence

set theory
test suite
ai planning
artificial intelligence

specification language
machine learning
binary decision diagrams
web services