| _version_ | 1866901634529886208 |
|---|---|
| author | Anonymous |
| author_facet | Anonymous |
| contents | This artifact contains the prototype implementation of <span>Quantum Alignment Logic (QAL)</span>, a four-valued bilattice-based modal logic for evidence-aware validation of quantum systems. QAL enables reasoning about alignment between three semantic viewpoints: ideal predictions derived from quantum theory, empirical measurements from noisy executions, and stakeholder assumptions. <span>Contents:</span> <ul> <li>Complete source code implementation (<span>qalcheck/</span>)</li> </ul> <ul> <li>Reproducible case studies (Bell-state preparation and E91 quantum key distribution)</li> </ul> <ul> <li>Documentation and usage guide</li> </ul> <ul> <li>Unit tests and scaling benchmarks</li> </ul> <span>Key Features:</span> <ul> <li>Four-valued Belnap bilattice semantics</li> </ul> <ul> <li>Polynomial-time model checking: <code>O(|φ| · (|W| + |R|))</code></li> </ul> <ul> <li>Integration with Qiskit for quantum simulation</li> </ul> <ul> <li>External monitor support for heterogeneous validation sources</li> </ul> <ul> <li>Diagnostic reporting (Conflict, Consistency, Agreement, Gap)</li> </ul> <span>Quick Start:</span> <ol> <li>Create virtual environment: <code><span>python3.12 -m venv .venv312 && source .venv312/bin/activate</span></code></li> </ol> <ol> <li>Install dependencies: <code><span>pip install -r requirements.txt</span></code></li> </ol> <ol> <li>Run case studies: <span>python examples/run_case_studies.py</span></li> </ol> <span>Requirements:</span> Python 3.8+, Qiskit ≥0.45.0, Qiskit Aer ≥0.13.0, NumPy, SciPy, PyYAML This artifact accompanies the paper "Quantum Alignment Logic: Evidence-Aware Model Checking for NISQ Systems". |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18360713 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | QAL-Check: Quantum Alignment Logic Model Checker (Artifact) Anonymous This artifact contains the prototype implementation of <span>Quantum Alignment Logic (QAL)</span>, a four-valued bilattice-based modal logic for evidence-aware validation of quantum systems. QAL enables reasoning about alignment between three semantic viewpoints: ideal predictions derived from quantum theory, empirical measurements from noisy executions, and stakeholder assumptions. <span>Contents:</span> <ul> <li>Complete source code implementation (<span>qalcheck/</span>)</li> </ul> <ul> <li>Reproducible case studies (Bell-state preparation and E91 quantum key distribution)</li> </ul> <ul> <li>Documentation and usage guide</li> </ul> <ul> <li>Unit tests and scaling benchmarks</li> </ul> <span>Key Features:</span> <ul> <li>Four-valued Belnap bilattice semantics</li> </ul> <ul> <li>Polynomial-time model checking: <code>O(|φ| · (|W| + |R|))</code></li> </ul> <ul> <li>Integration with Qiskit for quantum simulation</li> </ul> <ul> <li>External monitor support for heterogeneous validation sources</li> </ul> <ul> <li>Diagnostic reporting (Conflict, Consistency, Agreement, Gap)</li> </ul> <span>Quick Start:</span> <ol> <li>Create virtual environment: <code><span>python3.12 -m venv .venv312 && source .venv312/bin/activate</span></code></li> </ol> <ol> <li>Install dependencies: <code><span>pip install -r requirements.txt</span></code></li> </ol> <ol> <li>Run case studies: <span>python examples/run_case_studies.py</span></li> </ol> <span>Requirements:</span> Python 3.8+, Qiskit ≥0.45.0, Qiskit Aer ≥0.13.0, NumPy, SciPy, PyYAML This artifact accompanies the paper "Quantum Alignment Logic: Evidence-Aware Model Checking for NISQ Systems". |
| title | QAL-Check: Quantum Alignment Logic Model Checker (Artifact) |
| url | https://doi.org/10.5281/zenodo.18360713 |