Checking Security Path with Formal Verification Tool: New Application Development