| Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Handbook of satisfiability 185 (99), 457-481, 2009 | 1526 | 2009 |
| Decision procedures D Kroening, O Strichman Springer-Verlag Berlin Heidelberg, 2016 | 716 | 2016 |
| Error explanation with distance metrics A Groce, S Chaki, D Kroening, O Strichman International Journal on Software Tools for Technology Transfer 8 (3), 229-247, 2006 | 206 | 2006 |
| SAT based abstraction-refinement using ILP and machine learning techniques E Clarke, A Gupta, J Kukula, O Strichman International Conference on Computer Aided Verification, 265-279, 2002 | 203 | 2002 |
| Pruning techniques for the SAT-based bounded model checking problem O Shtrichman Advanced Research Working Conference on Correct Hardware Design and …, 2001 | 192 | 2001 |
| Deciding bit-vector arithmetic with abstraction RE Bryant, D Kroening, J Ouaknine, SA Seshia, O Strichman, B Brady International Conference on Tools and Algorithms for the Construction and …, 2007 | 181 | 2007 |
| Efficient computation of recurrence diameters D Kroening, O Strichman International Workshop on Verification, Model Checking, and Abstract …, 2003 | 174 | 2003 |
| Completeness and complexity of bounded model checking E Clarke, D Kroening, J Ouaknine, O Strichman International Workshop on Verification, Model Checking, and Abstract …, 2004 | 165 | 2004 |
| Deciding separation formulas with SAT O Strichman, SA Seshia, RE Bryant International Conference on Computer Aided Verification, 209-222, 2002 | 129 | 2002 |
| Regression verification B Godlin, O Strichman Proceedings of the 46th Annual Design Automation Conference, 466-471, 2009 | 128 | 2009 |
| Deciding equality formulas by small domains instantiations A Pnueli, Y Rodeh, O Shtrichman, M Siegel International Conference on Computer Aided Verification, 455-469, 1999 | 118 | 1999 |
| The Code Validation Tool(CVT) A Pnueli, O Shtrichman, M Siegel International Journal on Software Tools for Technology Transfer(STTT) 2 (2 …, 1998 | 109 | 1998 |
| 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 | 97 | 2004 |
| SAT-based counterexample-guided abstraction refinement EM Clarke, A Gupta, O Strichman IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004 | 97 | 2004 |
| Accelerating bounded model checking of safety properties O Strichman Formal Methods in System Design 24 (1), 5-24, 2004 | 96 | 2004 |
| Regression verification: proving the equivalence of similar programs B Godlin, O Strichman Software Testing, Verification and Reliability 23 (3), 241-258, 2013 | 92 | 2013 |
| 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 | 91 | 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 | 85 | 2002 |
| Explaining abstract counterexamples S Chaki, A Groce, O Strichman Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004 | 81 | 2004 |
| Predicate abstraction with minimum predicates S Chaki, E Clarke, A Groce, O Strichman Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 80 | 2003 |
Daniel KroeningAmazonVerified email at amazon.com
