ひとり勉強会

ひとり楽しく勉強会

2011-11-11から1日間の記事一覧

VSTTE 2012 Software Verification Competition

Coq

VSTTEという国際会議の開催した「ソフトウェア検証大会」 https://sites.google.com/site/vstte2012/compet 問題文PDF に挑戦していました。48時間で5問の仕様と実装が提示されて、その正しさ、つまり停止性や、配列の範囲外アクセスをしないこと、仕様を満…