An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

Browse the full CAV paper archive.