VerifyThis Verification Competition 2012 http://fm2012.verifythis.org/ またプログラム検証のコンテストあるのか。