| Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Handbook of satisfiability 185 (99), 457-481, 2009 | 1621 | 2009 |
| Decision procedures D Kroening, O Strichman Springer-Verlag Berlin Heidelberg, 2016 | 752 | 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 | 222 | 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 | 206 | 2002 |
| Pruning techniques for the SAT-based bounded model checking problem O Shtrichman Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced …, 2001 | 200 | 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 | 188 | 2007 |
| Efficient computation of recurrence diameters D Kroening, O Strichman VMCAI 2575, 298-309, 2003 | 179 | 2003 |
| Completeness and complexity of bounded model checking E Clarke, D Kroening, J Ouaknine, O Strichman Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004 | 178 | 2004 |
| Regression verification B Godlin, O Strichman Proceedings of the 46th Annual Design Automation Conference, 466-471, 2009 | 136 | 2009 |
| Deciding separation formulas with SAT O Strichman, SA Seshia, RE Bryant Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 134 | 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 | 119 | 1999 |
| The Code Validation Tool(CVT) A Pnueli, O Shtrichman, M Siegel International Journal on Software Tools for Technology Transfer(STTT) 2 (2 …, 1998 | 110 | 1998 |
| SAT-based counterexample-guided abstraction refinement EM Clarke, A Gupta, O Strichman IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004 | 104 | 2004 |
| Regression verification: proving the equivalence of similar programs B Godlin, O Strichman Software Testing, Verification and Reliability 23 (3), 241-258, 2013 | 101 | 2013 |
| Accelerating bounded model checking of safety properties O Strichman Formal Methods in System Design 24, 5-24, 2004 | 100 | 2004 |
| Efficient verification of sequential and concurrent C programs S Chaki, EM Clarke, A Groce, J Ouaknine, O Strichmann, K Yorav Carnegie Mellon University, 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 | 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 | 87 | 2002 |
| Explaining abstract counterexamples S Chaki, A Groce, O Strichman Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004 | 86 | 2004 |
| Predicate abstraction with minimum predicates S Chaki, E Clarke, A Groce, O Strichman Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003 | 80 | 2003 |
Daniel KroeningAmazonVerified email at amazon.com
