Hello, Le 15/04/2014 10:09, Chris Hills a écrit : > */*I have since discovered there are several FOSS static analysis tools. /* I maintain a list of such FOSS static analysis tools (and other formal tools used by such analysis software): http://gulliver.eu.org/free_software_for_formal_verification Best regards, david