A STUDY OF NUSMV MODEL CHECKER - PREETHAM S, SURESH KUMAR D, VINOTH SEELAN D
Keywords: MODEL CHECKER