added doc fault-tolerance verification conflict