2011-09-01から1ヶ月間の記事一覧

ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。

ProofSummit2011でMsgPackを証明したときの話をしてきました。内容は名古屋Reject会議で話したことを膨らませた感じになっています。 話の趣旨としては「バグって怖いじゃん → じゃあ証明しようぜ → やってみた」みたいな感じです。 スライド CoqによるMsgPa…