Tools under development

We are currently developing the following tools:

TomCAT - A tool for automatic generation of abstractions of parameterised CSP programs with replicated components based on the well known counter abstraciton method.