Stateright Actor Framework
Results
1
repositories owned by
Stateright Actor Framework
stateright
1.5k
Stars
54
Forks
Watchers
A model checker for implementing distributed systems.
