String Constraints for Verification

@inproceedings{Abdulla2014StringCF,
  title={String Constraints for Verification},
  author={Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Luk{\'a}s Hol{\'i}k and Ahmed Rezine and Philipp R{\"u}mmer and Jari Stenman},
  booktitle={CAV},
  year={2014}
}
We present a decision procedure for a logic that combines (i) word equations over string variables denoting words of arbitrary lengths, together with (ii) constraints on the length of words, and on (iii) the regular languages to which words belong. Decidability of this general logic is still open. Our procedure is sound for the general logic, and a decision procedure for a particularly rich fragment that restricts the form in which word equations are written. In contrast to many existing… CONTINUE READING
Highly Cited
This paper has 44 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 29 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…