We are currently working with defence and other industrial organisations on adapting CSP||B for use in system development. We have two ongoing projects with AWE Plc:

• investigating the use of CSP||B in hardware/sofware co-design,
• and developing mappings from xUML to CSP||B.

We are always wanting to hear from organisations or other researchers who are interested in working together to use a combination of formal methods in different application domains.

For further information on collaboration opportunites contact Helen Treharne.