Detail publikace

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs

LENGÁL, O.; CHEN, Y.; LIN, J.; TSAI, W.; HSIEH, M.; HUANG, W.; CHUNG, K. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. Proceedings of TACAS'25. Lecture Notes in Computer Science. Springer Verlag, 2025. ISSN: 0302-9743.
Název česky
AutoQ 2.0: Od verifikace kvantových obvodů k verifikaci kvantových programů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Chen Yu-Fang
LIN, J.
TSAI, W.
HSIEH, M.
HUANG, W.
CHUNG, K.
Klíčová slova

quantum programs
tree automata
measurement
verification

Abstrakt

Tento článek pojednává rozšíření nástroje AutoQ, jež umožňuje nástroji verifikaci
kvantových programů (namísto jen kvantových obvodů).

Rok
2025 (v tisku)
Časopis
Lecture Notes in Computer Science, ISSN 0302-9743
Sborník
Proceedings of TACAS'25
Konference
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems --- TACAS'25, Hamilton, CA
Vydavatel
Springer Verlag
BibTeX 
@inproceedings{BUT196845,
  author="LENGÁL, O. and CHEN, Y. and LIN, J. and TSAI, W. and HSIEH, M. and HUANG, W. and CHUNG, K.",
  title="AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs",
  booktitle="Proceedings of TACAS'25",
  year="2025",
  journal="Lecture Notes in Computer Science",
  publisher="Springer Verlag",
  issn="0302-9743"
}
Nahoru