CS 260r 2017: Verified Systems This is the source code and lecture code repository for Harvard’s CS 260r class, Projects and Close Readings in Software Systems, for spring 2017, with the topic of Verified Systems.