SymPA is a protocol analyzer for mobile phones that allows all the incoming TCP/IP traffic to be captured without interfering with the normal performance of the terminal.
alphaSPIN is a XML-based tool for obtaining abstract versions from models written in PROMELA, which can be verified with the model checker SPIN.
This website is under construction