www.cs.ox.ac.uk/activities/concurrency/tools/develop/index.html

You are here:

• Home
• Research
• Activities
• Concurrency
• Tools
• Under development

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.