R

repliss

Project information

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

0 Commits
9 Branches
0 Tags

README
Apache License 2.0

Created on

March 26, 2019

Loading