トップ «前の日記(2011-10-16) 最新 次の日記(2011-11-18)» 月表示 編集

日々の流転


2011-11-10 [長年日記]

λ. VSTTE 2012 Software Verification Competition

VSTTE 2012 Software Verification Competition というソフトウェア検証のコンテストが開催されている。 都合が合わずに参加できなかったけど、問題文 を見るとそう複雑でもないし、時間のあるときにでもボチボチやってみようと思う。