Wolf - Bug hunter for concurrent software using formal methods
- Sharon Barner
- Ziv Glazberg
- et al.
- 2005
- CAV 2005
Publications
Date
Featured collections
Popular topics
3 results at CAV 2005
Bounded model checking of concurrent programs
- Ishai Rabinovitz
- Orna Grumberg
- 2005
- CAV 2005
Adaptive application of SAT solving techniques
- Ohad Shacham
- Karen Yorav
- 2005
- CAV 2005