The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2014
- AAAI 2014
Publications
Date
Featured collections
Popular topics
19 results for Hana Chockler
Coverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010
Finding rare numerical stability errors in concurrent computations
- Hana Chockler
- Karine Even
- et al.
- 2013
- ISSTA 2013
Using cross-entropy for satisfiability
- Hana Chockler
- Alexander Ivrii
- et al.
- 2013
- SAC 2013
Incremental formal verification of hardware
- Hana Chockler
- Alexander Ivrii
- et al.
- 2011
- FMCAD 2011
PINCETTE Validating changes and upgrades in networked software
- Hana Chockler
- 2010
- FMCAD 2010
Beyond vacuity: Towards the strongest passing formula
- Hana Chockler
- Arie Gurfinkel
- et al.
- 2008
- FMCAD 2008
Cross-entropy based testing
- Hana Chockler
- Eitan Farchi
- et al.
- 2007
- FMCAD 2007
Easier and more informative vacuity checks
- Hana Chockler
- Ofer Strichman
- 2007
- MEMOCODE 2007
Formal verification of concurrent software: Two case studies
- Hana Chockler
- Eitan Farchi
- et al.
- 2006
- PADTAD 2006