OSTRICH2: Solver for Complex String Constraints.

Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Zhilin Wu

Browse the full FMCAD paper archive.