Mace Modelchecker Documentation
Welcome to the documentation for the modelchecker. The Mace modelchecker automatically checks your distributed systems code written in Mace, against user level expectations. This work has been published in .
Life, Death, and the Critical Transition: Detecting Liveness Bugs in Systems Code.
Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat, in Proceedings of NSDI
), Cambridge, MA, April 2007. PDF
Awarded Best Paper.