Unicorn

Christoph Kirsch (Developer), Daniel Kocher (Developer), Michael Starzinger (Developer)

Research output: Non-textual formSoftware

Abstract

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of C Programs on Quantum Computers
Original languageEnglish
Publication statusPublished - 2022

Fields of Science and Technology Classification 2012

  • 102 Computer Sciences

Cite this