Teaching Rigorous Distributed Systems With Efficient Model Checking.

Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock

Browse the full EuroSys paper archive.