Combining symmetry reduction and under-approximation for symbolic model checking
- Sharon Barner
- Orna Grumberg
- 2005
- Formal Methods in System Design
Publications
4 results for Orna Grumberg
Bounded model checking of concurrent programs
- Ishai Rabinovitz
- Orna Grumberg
- 2005
- CAV 2005
Scalable distributed on-the-fly symbolic model checking
- Shoham Ben-David
- Orna Grumberg
- et al.
- 2003
- International Journal on Software Tools for Technology Transfer
A scalable parallel algorithm for reachability analysis of very large circuits
- Tamir Heyman
- Danny Geist
- et al.
- 2002
- Formal Methods in System Design