id:yoshihiro503さんに誘われて、VSTTE Competitionというソフトウェア検証コンテストに参加しました。 「検証ツールに特に制限はないぜ」と書かれていたのでCoqを使いました。競技プログラミンングに初めて参加しましたが、48時間ぶっとうしで同じ課題に取…