TPPMark2016 を解きながら学ぶ VeriFast

A9d4858d0a9d9d70782e33f1e64363cd?s=47 eldesh
November 19, 2016

TPPMark2016 を解きながら学ぶ VeriFast

(静的コード解析の会 第0回)[https://metasepi.connpass.com/event/42141/] で発表した資料です。

TPP2016で出題された問題である TPPMark を題材として、C 言語検証器である VeriFast による回答を構成しつつ VeriFast 自体の入門的解説をします。

A9d4858d0a9d9d70782e33f1e64363cd?s=128

eldesh

November 19, 2016
Tweet