A probabilistic analysis of coverage methods
- Laurent Fournier
- Avi Ziv
- et al.
- 2011
- ACM TODAES
Publications
7 results for Ofer Strichman
Reducing the size of resolution proofs in linear time
- Omer Bar-Ilan
- Oded Fuhrmann
- et al.
- 2010
- International Journal on Software Tools for Technology Transfer
Underapproximation for model-checking based on universal circuits
- Arie Matsliah
- Ofer Strichman
- 2010
- Information and Computation
A theory-based decision heuristic for DPLL(T)
- Dan Goldwasser
- Ofer Strichman
- et al.
- 2008
- FMCAD 2008
Beyond vacuity: Towards the strongest passing formula
- Hana Chockler
- Arie Gurfinkel
- et al.
- 2008
- FMCAD 2008
Before and after vacuity
- Hana Chockler
- Ofer Strichman
- 2008
- Formal Methods in System Design
Easier and more informative vacuity checks
- Hana Chockler
- Ofer Strichman
- 2007
- MEMOCODE 2007