Willing To See Real-World Formal Verification Tools

1. Why Project:    http://why.lri.fr/

    A general purpose Verification Condition Generator.

2. Pylint: http://www.logilab.org/857

    Static Checker for Python programs.

3. Code Analyzer for Visual Studio 2012