Skip to content

GitLab

Explore

Sign in

P

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

Loading