Detail publikace

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

CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao, TSAI Wei-lun a YEN Di-de. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, roč. 7, č. 6, 2023, s. 1218-1243. ISSN 2475-1421. Dostupné z: http://dx.doi.org/10.1145/3591270
Název česky
Rámec pro verifikaci a hledání chyb v kvantových obvodech
Typ
článek v časopise
Jazyk
angličtina
Autoři
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)
Yen Di-de (MPI-SWS)
URL
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
Vydavatel
Association for Computing Machinery
DOI
10.1145/3591270
UT WoS
001005701900052
EID Scopus
2-s2.0-85161987319
BibTeX 
@ARTICLE{FITPUB13018,
   author = "Yu-Fang Chen and Kai-Min Chung and Ond\v{r}ej Leng\'{a}l and Jyun-ao Lin and Wei-lun Tsai and Di-de Yen",
   title = "An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits",
   pages = "1218--1243",
   booktitle = "Proceedings of PLDI'23",
   journal = "Proceedings of the ACM on Programming Languages",
   volume = 7,
   number = 6,
   year = 2023,
   ISSN = "2475-1421",
   doi = "10.1145/3591270",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13018"
}
Nahoru