8 citations · 8 across the 1 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…