Part 2: Existing Tools

The following are tools that check programs.

The paper "A Symbiotic Relationship Between Formal Methods and Security," by Jeannette M. Wing (Technical Report CMU-CS-98-188, Computer Science Department, Carnegie Mellon University, Dec. 1998) discusses the relationship between formal methods and tools. It's an excellent paper!