00241nam a22000977a 4500100004800000245003500048300000700083650001800090700001500108852002000123  aPREETHAM S, SURESH KUMAR D, VINOTH SEELAN D  aA STUDY OF NUSMV MODEL CHECKER  a52  aMODEL CHECKER  fAPRIL 2016  aCENTRAL LIBRARY