GLaDOS-Michigan/verification-class

Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos

Published Here