STUDY ON FACILITATING THE VARIATION OF SCHEDULERS IN MODEL CHECKING - TRAN NHAT HOA