Astree-Sound static analysis tool - strongest tool in the market