pctcp-cass

Project information

PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.

60 Commits
3 Branches
0 Tags

README
LICENSE

Created on

September 10, 2018

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:burcu/pctcp-cass.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/burcu/pctcp-cass.git