International Conference on Formal Methods in Computer-Aided Design, FMCAD 2011: