Formal Verification Student at Intel · Trevo