预览片段。 获取完整访问权限
Frama-C软件验证指南：核心组件、用法与应用