HQbricks

Read full text
Authors: Mathieu Nguyen, Christophe Chareton, Jad Issa
Cited by: 1

Abstract

HQbricks is a symbolic execution and specification verification tool for hybrid circuits (classical/quantum).

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
18 March 2026
Language
EN