nusmv.plt 2.06 KB