symQV: Automated Symbolic Verification of Quantum Programs.

Fabian Bauer-Marquart Stefan Leue Christian Schilling

Published in: FM (2023)

Keyphrases

symbolic execution
intermediate level
computer aided
semi automated
hardware designs
high level
quantum computing
model checking
real time
computer programs
fully automated
symbolic description
formal verification
operating system
evolutionary algorithm
case study
search engine