راستی‌سنجی رایانه‌ای در دانشگاه صنعتی شریف