Teaching and Learning Software Verification via SVF - View it on GitHub