GitHub repository: stateright/stateright
Primary language: Rust
Created: 2018-03-03T20:05:53Z
Description: A model checker for implementing distributed systems.