Explore projects
-
Updated
-
Johann Heinz / repliss
OtherThe replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.
Updated -
Peter Zeller / repliss
OtherThe replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.
Updated