QCIVET provides contract-based subtype verification and hash-chained audit traces to enforce syntactic and semantic integrity in hybrid quantum-classical pipelines.
Projection-based runtime assertions for testing and debugging quantum programs.Proceedings of the ACM on Programming Languages, 4(OOPSLA):150:1–150:29, 2020
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
quant-ph 1years
2026 1verdicts
UNVERDICTED 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
QCIVET: A Quantum--Classical Pipeline Integrity Framework with Contract-Based Subtype Verification and Hash-Chained Audit Traces
QCIVET provides contract-based subtype verification and hash-chained audit traces to enforce syntactic and semantic integrity in hybrid quantum-classical pipelines.