R

repliss

Project information

The replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.

468 Commits
18 Branches
0 Tags

README
Apache License 2.0

Created on

December 15, 2016

Loading