DICE - Trace Checking Tool The DICE Trace Checking Tool (DICE-TraCT) is the component of the DICE framework which executes trace checking analysis of big-data application logs.