OSTRICH2: Solver for Complex String Constraints
| Title: | OSTRICH2: Solver for Complex String Constraints |
|---|---|
| Authors: | Hague, Matthew; Hu, Denghang; Jez, Artur; Lin, Anthony W.; Markgraf, Oliver; Rummer, Philipp; Wu, Zhilin |
| Source: | 2025 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2025. :145-158 Oct, 2025 |
| Relation: | 2025 Formal Methods in Computer-Aided Design (FMCAD) |
| Database: | IEEE Xplore Digital Library |