Static-Analysis: Parallel Programs

This year (2010) one of my goals is to try implementing "Static-Analysis: Parallel Programs" as a program verification tool for message passing interface programs. It's implementation is a deep topic, so obviously the disclosure as a product would be in brief but not a detailed description of passes developed.