Challenges and Opportunities in Model Checking Large-scale Distributed Systems.

Rupak Majumdar

Browse the full ICSE paper archive.