Book part In: orcid

HSF(C): A software verifier based on horn clauses (competition contribution)

Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)

Grebenshchikov, S.; Gupta, A.; Rybalchenko, A. — 2012 — Springer Nature

Key information

Authors:

Grebenshchikov, S.; Gupta, A.; Lopes, N.P. (Nuno P. Lopes); Popeea, C.; Rybalchenko, A.

Published in

2012

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.

Publication details

Authors in the community:

  • Nuno P. Lopes

    Nuno P. Lopes

    ist155393

    In: orcid

    ID: 4904749

Publisher

Springer Nature

Title of the publication container

Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)

Volume

7214 LNCS

First page or article number

549

Last page

551

DOI

10.1007/978-3-642-28756-5_46

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available