Formal is the lens and lever
Github link to Spring 2022 CS6110 - Contains last year's stuff as well as some new stuff added in this year.
Shared Software Verification Tools Doc - Add any tools you find to this
See canvas for joining instructions - i.e. the piazza link - was posted in announcements