Seguir
Ofer Strichman
Ofer Strichman
Technion, Haifa, Israel
Dirección de correo verificada de ie.technion.ac.il - Página principal
Título
Citado por
Citado por
Año
Bounded model checking
A Biere
Handbook of satisfiability, 739-764, 2021
17722021
Decision procedures
D Kroening, O Strichman
Springer-Verlag Berlin Heidelberg, 2016
8732016
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
2322006
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
2142002
Pruning techniques for the SAT-based bounded model checking problem
O Shtrichman
Advanced Research Working Conference on Correct Hardware Design and …, 2001
2092001
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
2022007
Completeness and complexity of bounded model checking
E Clarke, D Kroening, J Ouaknine, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2004
1942004
Efficient computation of recurrence diameters
D Kroening, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2002
1902002
Regression verification
B Godlin, O Strichman
Proceedings of the 46th Annual Design Automation Conference, 466-471, 2009
1482009
Deciding separation formulas with SAT
O Strichman, SA Seshia, RE Bryant
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
1352002
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
1231999
Regression verification: proving the equivalence of similar programs
B Godlin, O Strichman
Software Testing, Verification and Reliability 23 (3), 241-258, 2013
1152013
The Code Validation Tool(CVT)
A Pnueli, O Shtrichman, M Siegel
International Journal on Software Tools for Technology Transfer(STTT) 2 (2 …, 1998
1131998
SAT-based counterexample-guided abstraction refinement
EM Clarke, A Gupta, O Strichman
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004
1072004
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
982004
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
922002
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
912005
Explaining abstract counterexamples
S Chaki, A Groce, O Strichman
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004
882004
Accelerating bounded model checking of safety properties
O Strichman
Formal Methods in System Design 24, 5-24, 2004
862004
On solving Presburger and linear arithmetic with SAT
O Strichman
International Conference on Formal Methods in Computer-Aided Design, 160-170, 2002
782002
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20