Publications

HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution)

AuthID
P-008-3BW

Author(s)

Grebenshchikov, S

Gupta, A

Lopes, NP

Popeea, C

Rybalchenko, A

Editor(s)

Flanagan,C;König,B

Document Type

Proceedings Paper

Year published

2012

Published

in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7214, Pages: 549-551 (3)

Conference

18Th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Tacas), Date: MAR 24-APR 01, 2012, Location: Tallinn, ESTONIA, Sponsors: Institute of Cybernetics at TUT;Tallinn University of Technology(TUT);Est. Cent. Excellence Comput. Sci. (EXCS);Eur. Reg. Dev. Fund (ERDF);Estonian Convention Bureau;Microsoft Research

Indexing