Formal Verification Student ב-Intel · Trevo