Login / Signup
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