75 citations · 202 across the 31 of their papers we have counts for
1 paper · 2 filters
Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye
Satisfiability solvers are increasingly playing a key role in software verification, with particularly effective use in the analysis of security vulnerabilities. String processing…