GitHub - GLaDOS-Michigan/verification-class: Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos · GitHub

Name		Name	Last commit message	Last commit date
2022		2022
fall2024		fall2024
README.md		README.md
index.html		index.html

Repository files navigation

About

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

Custom properties

12 stars

7 watching

Report repository

Releases

Packages

Contributors

Languages