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.
CSP-Prover is an interactive theorem prover dedicated to refinement proofs within the process algebra CSP.