25 Ottobre 2019

• Emanuele Virgillito. Realizzazione di un’interfaccia per il debugging remoto di sistemi embedded emulati = Implementation of a remote debugger interface for emulated Embedded Systems. Rel. Gianpiero Cabodi, Paolo Enrico Camurati. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2019

21 Aprile 2023

• Demetrio Bori. Model vs RTL : correlation beyond testing. Exploring the use of C vs RTL formal equivalence techinques for verification of CPU designs. Rel. Paolo Enrico Camurati. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2023

31 Ottobre 2024

• Salvatore Francesco Rossetta. Formalization and Verification of Proportional Representation Voting Systems using Isabelle/HOL: A Study of D'Hondt and Sainte-Laguë Methods. Rel. Paolo Enrico Camurati, Bernhard Beckert. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
  

  

  Preview