VCDryad Extension of Vcc project from MSR (http://vcc.codeplex.com/) More details: http://web.engr.illinois.edu/~pek1/vcdryad/