-
Notifications
You must be signed in to change notification settings - Fork 0
GLaDOS-Michigan/verification-class
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published