Explore projects

Mergable Transactional Memory in c++

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

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

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

Mergeable Data Types implementation in Java