QCIVET provides contract-based subtype verification and hash-chained audit traces to enforce syntactic and semantic integrity in hybrid quantum-classical pipelines.
Bisimulation for quantum processes.ACM Transactions on Programming Languages and Systems, 34(4):17:1–17:43, 2012
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.