Tesi

• Matteo Lauretano. Validation of Automatically Synthesized Smart Contract Invariants: a validation framework for the FLAMES tool. Rel. Maurizio Morisio. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2025
  

  

  Preview