Detail publikace

AutoQ: An Automata-based Quantum Circuit Verifier

LENGÁL, O.; CHEN, Y.; TSAI, W.; CHUNG, K.; LIN, J. AutoQ: An Automata-based Quantum Circuit Verifier. In Proceedings of 35th International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Cham: Springer Verlag, 2023. p. 139-153. ISSN: 0302-9743.
Název česky
AutoQ: verifikátor kvantových obvodů založený na automatech
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Chen Yu-Fang
TSAI, W.
CHUNG, K.
LIN, J.
Klíčová slova

kvantové obvody, verifikace, stromové automaty, symbolická exekuce

Abstrakt

Tento článek zavádí specifikační jazyk a plně automatický verifikátor AutoQ pro symbolickou verifikace kvantových obvodů. Verifikátor kombinuje algoritmy pro testování inkluze stromových automatů a symbolickou exekuci.

Rok
2023
Strany
139–153
Časopis
Lecture Notes in Computer Science, č. 13966, ISSN 0302-9743
Sborník
Proceedings of 35th International Conference on Computer Aided Verification
Vydavatel
Springer Verlag
Místo
Cham
DOI
10.1007/978-3-031-37709-9_7
EID Scopus
2-s2.0-85169429472
BibTeX 
@inproceedings{BUT185179,
  author="LENGÁL, O. and CHEN, Y. and TSAI, W. and CHUNG, K. and LIN, J.",
  title="AutoQ: An Automata-based Quantum Circuit Verifier",
  booktitle="Proceedings of 35th International Conference on Computer Aided Verification",
  year="2023",
  journal="Lecture Notes in Computer Science",
  number="13966",
  pages="139--153",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-031-37709-9\{_}7",
  issn="0302-9743"
}
Nahoru