GitHub repository: orenbenkiki/total-space
Primary language: Rust
Created: 2021-02-28T18:27:35Z
Description: Investigate the total state space of communicating finite state machines.