ComputingComputer ScienceFormal MethodsConcurrency AnalysisSynchronization PrimitivesAtomicity ViolationsExecution Trace AnalysisExecution Tracing
In this paper we describe the concept of Sidetrack, table, the motivation that lead to its creation and information about how does it work.