Submitted by chiara.mezzetti on
| Title | Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata |
| Publication Type | Conference Proceedings |
| Year of Conference | 2016 |
| Authors | Kafle B., Gallagher J.P. |
| Conference Name | 28th International Conference Computer Aided Verification - CAV 2016 |
| Pagination | 261-268 |
| Publisher | Springer |
| DOI | 10.1007/978-3-319-41528-4_14 |
ICT-Energy group
