Beyond vacuity: Towards the strongest passing formula
- Hana Chockler
- Arie Gurfinkel
- et al.
- 2008
- FMCAD 2008
Publications
Date
Featured collections
Popular topics
3 results at FMCAD 2008
Augmenting a regular expression-based temporal logic with local variables
- Cindy Eisner
- Dana Fisman
- 2008
- FMCAD 2008
A theory-based decision heuristic for DPLL(T)
- Dan Goldwasser
- Ofer Strichman
- et al.
- 2008
- FMCAD 2008