VeriFast Termination Checking Introduction(α)

A9d4858d0a9d9d70782e33f1e64363cd?s=47 eldesh
April 29, 2017

VeriFast Termination Checking Introduction(α)

静的コード解析の会 第2回 (https://metasepi.connpass.com/event/50450/) で発表した資料です。
VeriFastによるC(およびJava)言語の停止性証明に関する解説を行っています。停止性検査を行う理論的背景を説明し、これを行う際にVeriFastの採る大まかな方針と検証のアイデアを説明しています。

A9d4858d0a9d9d70782e33f1e64363cd?s=128

eldesh

April 29, 2017
Tweet