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

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

Informações chave

Autores:

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

Publicado em

2012

Resumo

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.

Detalhes da publicação

Autores da comunidade :

Nuno P. Lopes
ist155393
De: orcid
ID: 4904749

Editora

Springer Nature

Título do contentor da publicação

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

Volume

7214 LNCS

Primeira página ou número de artigo

549

Última página

551

DOI

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

Domínio Científico (FOS)

computer-and-information-sciences - Ciências da Computação e da Informação

Idioma da publicação (código ISO)

eng - Inglês

Acesso à publicação:

Acesso apenas a metadados