Skip to content

GitLab

Explore

Sign in

Peter Zeller
crdt_app_correctness

C

crdt_app_correctness

Project information

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

182 Commits
1 Branch
1 Tag

Created on

February 08, 2016

Copy SSH clone URLgit@softech-git.informatik.uni-kl.de:zeller/crdt_app_correctness.git
Copy HTTPS clone URLhttps://softech-git.informatik.uni-kl.de/zeller/crdt_app_correctness.git