Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
This is now an inactive research group it's members have moved on. You can find them at their new research groups:


We have developed the following tools:
  • RolEnact - Business Process Modelling
  • ARC - Architecture Modelling
  • CSP2B B model-checker
  • StAC - CSP with compensations
  • U2B - UML to B generator
  • B animator and model-checker (ProB)
© School of Electronics and Computer Science of the University of Southampton