11 citations · 24 across the 5 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 2 cited
A Solver for a Theory of Strings and Bit-vectors
Sanu Subramanian, Murphy Berzish, Yunhui Zheng +2
We present a solver for a many-sorted first-order quantifier-free theory of string equations, string length represented as bit-vectors, and bit-vector arithmetic aimed a…
cs.LO2016★ 10 cited
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion
Vijay Ganesh, Murphy Berzish
In recent years there has been considerable interest in theories over string equations, length function, and string-number conversion predicate within the formal verification, soft…