https://feline-hamster-182.notion.site/COMS-E6998-Formal-Verification-of-Systems-Software-Fall-2021-531e77f4166c4458b857df58476cb6ef
The materials are borrowed from the Software Foundations textbook. If you are not familiar with Coq already, you should start by working on the following chapters ASAP. Make sure you actually do all of the exercises!