Main repository for Harvard CS260r 2017.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
exercises
exsolutions
lec
lecsolutions
pset1
pset2
pset3
pset4
README.md
l01.v
l01sol.v
l02.v
l02sol.v
l05.v
l05sol.v
l06.v
l06sol.v
l14.v
naivecoq.md
sep-sol.v
sep.v
sep2.v

README.md

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.