Description: The tool implements a well founded notion of protocol composition (which preserves progress, fairness and honours user-defined constraints expressed as assertions), and also allows to generate Erlang code (stubs) from

Description: The adoption of formal models by process specialists has faced two challenges: First, it requires process specialists to get training in formal modeling. Second, the resulting specifications bear little resemblance

Description: Enables devices to share intelligence and orchestrate security operations in real-time. The platform leverages a real-time data exchange framework to build collective threat intelligence to make endpoint, network, and cloud

Description: DCR Open Case Manager is a simple web application that can instantiate DCR graphs as a task list, as well as execute Robotic events. The application use a Microsoft IIS

Description: Mungo: Java front-end tool used to statically check the order of method calls. It is implemented using the JastAdd framework. A protocol definition is described as a sequence of method

Description: MoCheQoS is a bounded model checker for quality of service (QoS) properties of distributed message-passing systems. It exploits features of ChorGram. There is some basic documentation and a mini-tutorial with

MCC

Description: Protocol conformance and deadlock analysis of actors with first-class mailboxes Developed at: UNITO Contacts: Luca Padovani Available at: http://www.di.unito.it/~padovani/Software/MCC/index.html

Description: Verification of Java source code with respect to typestates. A typestate defines the object’s states, the methods that can be called in each state, and the states resulting from the