Verifying a Quantum Compiler
Learn how techniques from traditional compiler verification can be applied to the emerging domain of quantum computing.
Archive of posts tagged: proof engineering
Mechanized Proofs for PL: Past, Present, and Future
The history of machine-checked proofs about programming languages offers valuable lessons for the future of programming languages research.
“Program Verification”: Has it lost its punch?
The usage of the term program verification has expanded well beyond its original meaning. As research in this space advances and expands, is it time to reconsider the term?
