Explore projects

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

Docker image with SBT for CI of Repliss

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

Mergeable Data Types implementation in Java

Run JUnit tests from the commandline (used for SE1 lecture).

Testing and verification of Applications, which are build with eventual consistency and CRDTs.

Mergable Transactional Memory in c++