http://research.microsoft.com/en-us/projects/boogie/
Organisation for Microsoft Research's Boogie IVL and related projects
Boogie