Mirror of https://github.com/dmlc/tvm for internal development
Check other branches for active development.
Don't forgot to git submodule init and git submodule update!
PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system.
Implemented on top of SAMC/DMCK distributed system model checking tool.
rLTL to LTL rewriter
Model checker for distributed systems using hitting families of schedules