Login
Venturi, Leonardo
(2024)
Quantum Circuit Size Estimation via Hoare Logic.
[Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Documenti full-text disponibili:
![[thumbnail of Thesis]](https://amslaurea.unibo.it/style/images/fileicons/application_pdf.png) |
Documento PDF (Thesis)
Disponibile con Licenza: Creative Commons: Attribuzione - Non commerciale - Non opere derivate 4.0 (CC BY-NC-ND 4.0) Download (867kB) |
Abstract
Il quantum computing è una disciplina che combina aspetti della meccanica quantistica e dell'informatica. Uno tra i modi più popolari per costruire, eseguire e simulare circuiti quantistici è Qiskit, libreria Python sviluppata da IBM. La tesi si propone di sviluppare un sistema formale per la verifica della dimensione dei circuiti attraverso l'uso di una logica di Hoare per Proto-Qiskit, quest'ultimo un linguaggio paradigmatico che cattura le caratteristiche salienti di Qiskit.
Abstract
Altri metadati
Statistica sui download
Gestione del documento:
