Phys.org  December 19, 2024 It is crucial to verify quantum protocols before they can be trusted in safety and security-critical applications. Researchers in Japan proposed Basic Dynamic Quantum Logic (BDQL) to formalize and verify sequential models of quantum protocols with a support tool developed in Maude. As BDQL does not support concurrency in its formalization they introduced Concurrent Dynamic Quantum Logic (CDQL) to formalize and verify concurrent models of quantum protocols. They extended the syntax of BDQL to CDQL and made a transformation from CDQL to BDQL without interrupting the semantics of BDQL. They made new support tools in Maude […]