Verifica della correttezza dei programmi mediante il linguaggio Dafny

CIPRIANI, SAMUEL
2024/2025

2024
Formal verification of programs using Dafny
File in questo prodotto:
File Dimensione Formato  
Samuel_Cipriani_Tesi.pdf

accesso solo dalla rete interna

Descrizione: Tesi di Laurea Triennale in Informatica - Samuel Cipriani
Dimensione 719.4 kB
Formato Adobe PDF
719.4 kB Adobe PDF   Contatta l'autore

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Il download dei file è consentito soltanto per chi si collega da rete interna o da proxy.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12319/25077