Describes a Bachelor’s-level course to teach students lightweight, formal methods. Breaks it into several categories that each cover different ground whose skills can be integrated to use on bigger projects. Plus make it easy to learn new tools later on. Submitted it in case anyone wanted to discuss their choices or other ideas for what a lightweight, formal methods course might look like. They indicate theirs is working so far based on performance of a large number of students.