VSTTE 2012 Software Verification Competition compet | vstte2012 の結果が出ていた。