Publications

3 results at CAV 2005

Adaptive application of SAT solving techniques
- - Ohad Shacham
  - Karen Yorav
- 2005
- CAV 2005
Workshop paper
Wolf - Bug hunter for concurrent software using formal methods
- - Sharon Barner
  - Ziv Glazberg
  - et al.
- 2005
- CAV 2005
Conference paper
Bounded model checking of concurrent programs
- - Ishai Rabinovitz
  - Orna Grumberg
- 2005
- CAV 2005
Conference paper