A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Towards String Support in JayHorn (Competition Contribution)
[chapter]
2021
Lecture Notes in Computer Science
Preserved Fulltext
Since current Horn solvers do not support strings natively, we consider a representation of (unbounded) strings using algebraic data-types, more precisely as lists. ...
An ongoing research and implementation effort is to add support for data-type to . ...
Encoding of String Operations In this paper, we focus on the handling of Strings and their operations, a feature of Java that was not previously supported by JayHorn. ...
doi:10.1007/978-3-030-72013-1_29
fatcat:zbccjbo6mjayli2v4dobkcnery
Improving the Usability of Static Analysis Tools Using Machine Learning
[article]
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Static analysis can be useful for developers to detect critical security flaws and bugs in software. ...
In this study, we considered two application scenarios using multiple ground-truth program sets. ...
., Symbiotic, JayHorn, and JBMC, auto-tune led to improvements in the competition score in some settings with no additional incorrect results. ...
doi:10.13016/bqo5-xlnp
fatcat:jqohyazbejbmzdfm5sgrhdflhy
Analysis and Transformation of Constrained Horn Clauses for Program Verification
2021
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Finally, we discuss future developments in applying these techniques. ...
clauses (CHCs), a term that has become popular in the verification field to refer to CLP programs. ...
We are also grateful to the Editor-in-Chief Miros law Truszczyński and the anonymous reviewers for their comments and suggestions, all of which have contributed to improving our manuscript. ...
doi:10.1017/s1471068421000211
fatcat:zfzmqjuozzd5dlfgog7kfmxhce
Analysis and Transformation of Constrained Horn Clauses for Program Verification
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Finally, we discuss future developments in applying these techniques. ...
clauses (CHCs), a term that has become popular in the verification field to refer to CLP programs. ...
We are also grateful to the Editor-in-Chief Mirosław Truszczyński and the anonymous reviewers for their comments and suggestions, all of which have contributed to improving our manuscript. ...
arXiv:2108.00739v1
fatcat:gevl2xlor5hrzentqc77irt6gu