Swansea University
Computer Science

EPSRC Project EP/D037212/1

Home

This is a frozen version of our group website as of 31st October 2009, which is the end date of the EPSRC Project providing the initial funding for the group. No further updates to this website will occur.

Welcome to the CSP-CASL research group. We are based in Swansea University's Computer Science department. We are developing the new specification language of CSP-CASL and tool support for this new specification language.

Our project has the title "Processes and Data" and is funded by EPSRC as project EP/D037212/1.

CSP-Prover is an interactive theorem prover dedicated to refinement proofs within the process algebra CSP.

Phillip James Liam O'Reilly Markus Roggenbach Temesghen Kahsai

Group Photo

Phillip James Liam O'Reilly Markus Roggenbach Temesghen Kahsai