Automated Verification of Quantum Protocols using MCMAS

Francesco Belardinelli Pavel Gonzalez Alessio Lomuscio

Published in: QAPL (2012)

Keyphrases

automated verification
model checking
model checker
formal verification
automated reasoning
temporal logic
quantum computation
cryptographic protocols
communication protocols
quantum computing
quantum inspired
formal specification
artificial intelligence
programming language
channel capacity