Verification of Quantum Systems using Barrier Certificates.

Marco Lewis Paolo Zuliani Sadegh Soudjani

Published in: CoRR (2023)

Keyphrases

distributed systems
automated verification
data structure
management system
information retrieval systems
computer systems
building blocks
complex systems
verification method