Explore projects

Mergeable Data Types implementation in Java

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

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

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