HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution)
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution)
复制标题
HSF(C)：基于 Horn Clauses 的软件验证器 -（竞赛贡献）
DOI：
10.1007/978-3-642-28756-5_46
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Andrey Rybalchenko
中科院分区：
文献类型：
--
作者：
Sergey Grebenshchikov;Ashutosh Gupta;Nuno P. Lopes;Corneliu Popeea;Andrey Rybalchenko
HSF(C)是一个自动验证C程序的安全性和活动性的工具。本文描述了HSF(C)采用的验证方法，并提供了如何安装和使用该工具的说明。
HSF(C) is a tool that automates verification of safety and liveness properties for C programs. This paper describes the verification approach taken by HSF(C) and provides instructions on how to install and use the tool.