Read TSOtool: Verifying Memory Consistency Model