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