CPi-IDE Continuous Pi Calculus Integrated Development Environment For installation instructions and a guide on using the tool please see the wiki pages here