Detail publikačního výsledku

AutoQ: An Automata-based Quantum Circuit Verifier

LENGÁL, O.; CHEN, Y.; TSAI, W.; CHUNG, K.; LIN, J.

Originální název

AutoQ: An Automata-based Quantum Circuit Verifier

Anglický název

AutoQ: An Automata-based Quantum Circuit Verifier

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

We present a specification language and a fully automated tool named AutoQ for verifying quantum circuits symbolically. The tool implements the automata-based algorithm from [Chen et al. 2023] and extends it with the capabilities for symbolic reasoning. The extension allows to specify relational properties, i.e., relationships between states before and after executing a circuit. We present a number of use cases where we used AutoQ to fully automatically verify crucial properties of several quantum circuits, which have, to the best of our knowledge, so far been proved only with human help.

Anglický abstrakt

We present a specification language and a fully automated tool named AutoQ for verifying quantum circuits symbolically. The tool implements the automata-based algorithm from [Chen et al. 2023] and extends it with the capabilities for symbolic reasoning. The extension allows to specify relational properties, i.e., relationships between states before and after executing a circuit. We present a number of use cases where we used AutoQ to fully automatically verify crucial properties of several quantum circuits, which have, to the best of our knowledge, so far been proved only with human help.

Klíčová slova

quantum circuits, verification, tree automata, symbolic execution

Klíčová slova v angličtině

quantum circuits, verification, tree automata, symbolic execution

Autoři

LENGÁL, O.; CHEN, Y.; TSAI, W.; CHUNG, K.; LIN, J.

Rok RIV

2024

Vydáno

19.07.2023

Nakladatel

Springer Verlag

Místo

Cham

Kniha

Proceedings of 35th International Conference on Computer Aided Verification

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Číslo

13966

Stát

Spolková republika Německo

Strany od

139

Strany do

153

Strany počet

15

Plný text v Digitální knihovně

http://hdl.handle.net/

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"
}