Semi-Formal Functional Verification by EFSM traversing via NuSMV