Policy validation for system automation: A case study
- Emmanuel Zarpas
- Cindy Eisner
- et al.
- 2008
- POLICY 2008
Conference paper
Publications
3 results for Emmanuel Zarpas
Benchmarking SAT solvers for bounded model checking
- Emmanuel Zarpas
- 2005
- SAT 2005
Conference paperTuning the VSIDS decision heuristic for bounded model checking
- O. Shacham
- E. Zarpas
- 2003
- MTV 2003
Conference paper