Norn: An SMT Solver for String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman

Browse the full CAV paper archive.