Frama-C WP Tutorial | 函数契约

学习用 Frama-C 和 WP 证明程序。