CGVT, short for Coarse-grained VeriTrace, is an automatic tool for the localization of linearizability bugs.
Primary LanguageJava