Logo des Repositoriums

SE 2025 - Companion Proceedings

https://dl.gi.de/handle/20.500.12116/45816
Auflistung nach:

Auflistung SE 2025 - Companion Proceedings nach Schlagwort "analysis"

1 - 1 von 1
  • Textdokument
    Bounds for Quantum Circuits using Logic-Based Analysis
    (Software Engineering 2025 – Companion Proceedings, 2025) Fauseweh, Benedikt; Hermann, Ben; Howar, Falk
    We explore ideas for scaling verification methods for quantum circuits using SMT (Satisfiability Modulo Theories) solvers. We propose two primary strategies: (1) decomposing proof obligations via compositional verification and (2) leveraging linear over-approximation techniques for gate effects. We present two examples and demonstrate the application of these ideas to proof Hamming weight preservation.