I am a PhD student at Ca’ Foscari University of Venice, under the supervision of Prof. Pietro Ferrara. I am a member of the Software and System Verification (SSV) research group, a team led by Prof. Agostino Cortesi.