A bunch of library like functions for receiving, processing and sending SIP messages, and a couple of small applications that can do various things. http://www.stacken.kth.se/projekt/yxa/
Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools. http://sourceforge.net/projects/etomcrl/