Detail publikace

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

LENGÁL, O.; CHEN, Y.; TSAI, W.; LIN, J.; CHUNG, K.; YEN, D. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 6, p. 1218-1243. ISSN: 2475-1421.
Název česky
Rámec pro verifikaci a hledání chyb v kvantových obvodech
Typ
článek v časopise
Jazyk
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Chen Yu-Fang
TSAI, W.
LIN, J.
CHUNG, K.
YEN, D.
URL
Klíčová slova

quantum circuit, verification, tree automata, bug hunting

Abstrakt

Článek se zabývá použitím nedeterministických stromových automatů pro verifikaci a hledání chyb v kvantových obvodech.

Rok
2023
Strany
1218–1243
Časopis
Proceedings of the ACM on Programming Languages, roč. 7, č. 6, ISSN 2475-1421
Kniha
Proceedings of PLDI'23
DOI
10.1145/3591270
UT WoS
001005701900052
EID Scopus
2-s2.0-85161987319
BibTeX 
@article{BUT185177,
  author="LENGÁL, O. and CHEN, Y. and TSAI, W. and LIN, J. and CHUNG, K. and YEN, D.",
  title="An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits",
  journal="Proceedings of the ACM on Programming Languages",
  year="2023",
  volume="7",
  number="6",
  pages="1218--1243",
  doi="10.1145/3591270",
  issn="2475-1421",
  url="http://dx.doi.org/10.1145/3591270"
}
Nahoru