Abstract:MODV is a general purpose dynamic verification tool for memory consistency model. It implemented a time order based frontier algorithm, which has the lower time complexity. To achieve higher performance of MODV, we design and implement several accelerate strategies for its algorithm. The experimental results show that the performance of enhanced algorithm is better than the baseline algorithm.