Detail publikace

AutoQ: An Automata-based Quantum Circuit Verifier

CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao a TSAI Wei-lun. AutoQ: An Automata-based Quantum Circuit Verifier. In: Proceedings of 35th International Conference on Computer Aided Verification. Cham: Springer Verlag, 2023, s. 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
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)
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
Konference
35th International Conference on Computer Aided Verification, Paříž, FR
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
10.1007/978-3-031-37709-9_7
EID Scopus
2-s2.0-85169429472
BibTeX 
@INPROCEEDINGS{FITPUB13022,
   author = "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: An Automata-based Quantum Circuit Verifier",
   pages = "139--153",
   booktitle = "Proceedings of 35th International Conference on Computer Aided Verification",
   journal = "Lecture Notes in Computer Science",
   number = 13966,
   year = 2023,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-031-37709-9\_7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13022"
}
Nahoru