| Bounded model checking A Biere Handbook of satisfiability, 739-764, 2021 | 1792 | 2021 |
| Decision procedures D Kroening, O Strichman Springer-Verlag Berlin Heidelberg, 2016 | 888 | 2016 |
| Error explanation with distance metrics A Groce, S Chaki, D Kroening, O Strichman International Journal on Software Tools for Technology Transfer 8, 229-247, 2006 | 236 | 2006 |
| SAT based abstraction-refinement using ILP and machine learning techniques E Clarke, A Gupta, J Kukula, O Strichman Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 214 | 2002 |
| Pruning techniques for the SAT-based bounded model checking problem O Shtrichman Advanced Research Working Conference on Correct Hardware Design and …, 2001 | 209 | 2001 |
| Deciding bit-vector arithmetic with abstraction RE Bryant, D Kroening, J Ouaknine, SA Seshia, O Strichman, B Brady Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 204 | 2007 |
| Completeness and complexity of bounded model checking E Clarke, D Kroening, J Ouaknine, O Strichman International Workshop on Verification, Model Checking, and Abstract …, 2004 | 195 | 2004 |
| Efficient computation of recurrence diameters D Kroening, O Strichman International Workshop on Verification, Model Checking, and Abstract …, 2002 | 190 | 2002 |
| Regression verification B Godlin, O Strichman Proceedings of the 46th Annual Design Automation Conference, 466-471, 2009 | 151 | 2009 |
| Deciding separation formulas with SAT O Strichman, SA Seshia, RE Bryant Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 136 | 2002 |
| Deciding equality formulas by small domains instantiations A Pnueli, Y Rodeh, O Shtrichman, M Siegel Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 123 | 1999 |
| Regression verification: proving the equivalence of similar programs B Godlin, O Strichman Software Testing, Verification and Reliability 23 (3), 241-258, 2013 | 117 | 2013 |
| The Code Validation Tool(CVT) A Pnueli, O Shtrichman, M Siegel International Journal on Software Tools for Technology Transfer(STTT) 2 (2 …, 1998 | 113 | 1998 |
| SAT-based counterexample-guided abstraction refinement EM Clarke, A Gupta, O Strichman IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004 | 110 | 2004 |
| Efficient verification of sequential and concurrent C programs S Chaki, E Clarke, A Groce, J Ouaknine, O Strichman, K Yorav Formal Methods in System Design 25 (2), 129-166, 2004 | 98 | 2004 |
| Proof-guided underapproximation-widening for multi-process systems O Grumberg, F Lerda, O Strichman, M Theobald Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 92 | 2005 |
| The small model property: How small can it be? A Pnueli, Y Rodeh, O Strichman, M Siegel Information and computation 178 (1), 279-293, 2002 | 92 | 2002 |
| Explaining abstract counterexamples S Chaki, A Groce, O Strichman Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004 | 88 | 2004 |
| Accelerating bounded model checking of safety properties O Strichman Formal Methods in System Design 24, 5-24, 2004 | 87 | 2004 |
| On solving Presburger and linear arithmetic with SAT O Strichman International Conference on Formal Methods in Computer-Aided Design, 160-170, 2002 | 79 | 2002 |
Daniel KroeningAmazonVerified email at amazon.com