Detail publikace

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

HSIEH Min-hsiu, HUANG Wei-jia, CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao a TSAI Wei-lun. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. In: Proceedings of TACAS'25. 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
angličtina
Autoři
Hsieh Min-hsiu (FOXCONN)
Huang Wei-jia (FOXCONN)
Chen Yu-Fang (ASIN)
Chung Kai-Min (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Lin Jyun-ao (ASIN)
Tsai Wei-lun (ASIN)
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{FITPUB13385,
   author = "Min-hsiu Hsieh and Wei-jia Huang and Yu-Fang Chen and Kai-Min Chung and Ond\v{r}ej Leng\'{a}l and Jyun-ao Lin and Wei-lun Tsai",
   title = "AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs",
   booktitle = "Proceedings of TACAS'25",
   journal = "Lecture Notes in Computer Science",
   year = 2025,
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13385"
}
Nahoru