Z3str2: an efficient solver for strings, regular expressions, and length constraints
From MaRDI portal
Publication:526767
DOI10.1007/s10703-016-0263-6zbMath1360.68773MaRDI QIDQ526767
Xiangyu Zhang, Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby
Publication date: 15 May 2017
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-016-0263-6
68W32: Algorithms on strings
Related Items
Uses Software