Ofer Strichman
Ofer Strichman
Technion, Haifa, Israel
Verified email at ie.technion.ac.il - Homepage
TitleCited byYear
Bounded model checking.
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Advances in computers 58 (11), 117-148, 2003
9692003
Decision procedures
D Kroening, O Strichman
Springer-Verlag Berlin Heidelberg, 2016
5322016
Bounded Model Checking.
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Handbook of satisfiability 185 (99), 457-481, 2009
2162009
Tuning SAT checkers for bounded model checking
O Shtrichman
International Conference on Computer Aided Verification, 480-494, 2000
1972000
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
1922002
Pruning techniques for the SAT-based bounded model checking problem
O Shtrichman
Advanced Research Working Conference on Correct Hardware Design and …, 2001
1772001
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
1742006
Efficient computation of recurrence diameters
D Kroening, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2003
1622003
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
1552007
Completeness and complexity of bounded model checking
E Clarke, D Kroening, J Ouaknine, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2004
1452004
Deciding separation formulas with SAT
O Strichman, SA Seshia, RE Bryant
International Conference on Computer Aided Verification, 209-222, 2002
1242002
Error explanation with distance metrics
A Groce
International Conference on Tools and Algorithms for the Construction and …, 2004
1212004
Regression verification
B Godlin, O Strichman
Proceedings of the 46th Annual Design Automation Conference, 466-471, 2009
1092009
Deciding equality formulas by small domains instantiations
A Pnueli, Y Rodeh, O Shtrichman, M Siegel
International Conference on Computer Aided Verification, 455-469, 1999
1091999
The Code Validation Tool (CVT)?
A Pnueli, O Shtrichman, M Siegel
International Journal on Software Tools for Technology Transfer (STTT), 2 …, 2001
1002001
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-3), 129-166, 2004
862004
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
832005
Translation validation for synchronous languages
A Pnneli, O Shtriehman, M Siegel
International Colloquium on Automata, Languages, and Programming, 235-246, 1998
831998
SAT-based counterexample-guided abstraction refinement
EM Clarke, A Gupta, O Strichman
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004
782004
Accelerating bounded model checking of safety properties
O Strichman
Formal Methods in System Design 24 (1), 5-24, 2004
772004
The system can't perform the operation now. Try again later.
Articles 1–20