75 citations · 174 across the 16 of their papers we have counts for
1 paper · 1 filter
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…