Integration of CSP||B

The CSP||B research team is working with industry to develop a rigorous formal modelling approach which can be integrated into a system design methodology. CSP||B combines the process algebra CSP, appropriate for modelling communication and interaction between components, and for understanding the global properties which emerge, together with the state based B-Method which is well suited handling rich data structures, so that these well-established industrial strength techniques can be used together.  The work is also being extended to combine CSP with Event-B, a more recent development of the B-Method.