Paper Info
Title
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).
Abstract
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.
Year
Venue
Field
2012
Lecture Notes in Computer Science
Programming language,Horn clause,Computer science,Software,Liveness
DocType
Volume
ISSN
Conference
7214
0302-9743
Citations 
PageRank 
References 
13
0.57
5
Authors
5
Name
Order
Citations
PageRank
Sergey Grebenshchikov11183.50
Ashutosh Gupta219214.01
Nuno p. Lopes325411.99
Corneliu Popeea437418.27
Andrey Rybalchenko5143968.53