Distributed protocol debugging
Status Suitable for an MEng project. Currently unassigned		Debugging a distributed protocol is currently pretty ad hoc. In this project, I hope to come up with testing tools and paradigms to aid the developer and to partially automate the process.