Publications

2 results for Murphy Berzish

ZSstrS: A string solver with theory-aware heuristics
- - Murphy Berzish
  - Vijay Ganesh
  - et al.
- 2017
- FMCAD 2017
Z3str2: an efficient solver for strings, regular expressions, and length constraints
- - Yunhui Zheng
  - Vijay Ganesh
  - et al.
- 2016
- Formal Methods in System Design