GLaDOS@Michigan's repositories
verification-class
Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
Language:C++MIT000
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
pitometer
Verifying real-time performance guarantees for distributed systems
Language:Go000