Distributed Bounded Model Checking.

Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal

Browse the full FMCAD paper archive.