Beyond vacuity: Towards the strongest passing formula
- Hana Chockler
- Arie Gurfinkel
- et al.
- 2008
- FMCAD 2008
Publications
Date
Featured collections
Popular topics
7 results for Ofer Strichman
A theory-based decision heuristic for DPLL(T)
- Dan Goldwasser
- Ofer Strichman
- et al.
- 2008
- FMCAD 2008
Easier and more informative vacuity checks
- Hana Chockler
- Ofer Strichman
- 2007
- MEMOCODE 2007
A probabilistic analysis of coverage methods
- Laurent Fournier
- Avi Ziv
- et al.
- 2011
- ACM TODAES
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
Before and after vacuity
- Hana Chockler
- Ofer Strichman
- 2008
- Formal Methods in System Design