SVF-Teaching Learning and Teaching Software Analysis, Verification and AI via SVF Sofware Analysis Course Sofware Verification Course Static Analysis and AI Course