Formal Methods For Software Verification Tester