Scalable Distributed On-the-Fly Symbolic Model Checking.

Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster

Browse the full FMCAD paper archive.