| CVC Lite: A new implementation of the cooperating validity checker: Category B C Barrett, S Berezin Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 396 | 2004 |
| Athena: A novel approach to efficient automatic security protocol analysis DX Song, S Berezin, A Perrig Journal of Computer Security 9 (1-2), 47-74, 2001 | 344 | 2001 |
| Compositional reasoning in model checking S Berezin, S Campos, EM Clarke International Symposium on Compositionality, 81-102, 1997 | 243 | 1997 |
| Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre International Conference on Tools and Algorithms for the Construction and …, 2001 | 122 | 2001 |
| Combining symbolic model checking with uninterpreted functions for out-of-order processor verification S Berezin, A Biere, E Clarke, Y Zhu Formal Methods in Computer-Aided Design: Second International Conference …, 1998 | 84 | 1998 |
| Model checking and theorem proving: a unified framework S Berezin Carnegie Mellon University, 2002 | 73 | 2002 |
| Deciding Presburger arithmetic by model checking and comparisons with other methods V Ganesh, S Berezin, DL Dill Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD …, 2002 | 55 | 2002 |
| An online proof-producing decision procedure for mixed-integer linear arithmetic S Berezin, V Ganesh, DL Dill International Conference on Tools and Algorithms for the Construction and …, 2003 | 37 | 2003 |
| Verification of out-of-order processor designs using model checking and a light-weight completion function S Berezin, E Clarke, A Biere, Y Zhu Formal Methods in System Design 20, 159-186, 2002 | 26 | 2002 |
| A practical approach to partial functions in CVC Lite S Berezin, C Barrett, I Shikanian, M Chechik, A Gurfinkel, DL Dill Electronic Notes in Theoretical Computer Science 125 (3), 13-23, 2005 | 24 | 2005 |
