Static Analysis Tools, a Practical Approach for Safety-Critical Software Verification