Stefan Wils

VeriFastが形式的システムを使ってCプログラムの検証をどう改善するかを見てみよう。