CSCE689 Sptp:formal Verification Course uri icon