BITS Darshini project is a web application that serves as a generic workbench for protocol analysis. Backend for the project is written in Spring Java framework whereas front-end is developed with Backbone.js.
See Installation instructions for getting started with BITS Darshini software.
Check out our wiki pages for design documentation of this application. We summarized the theoretical techniques used for building this software in a technical report.