Dependable Systems and Software Engineering Research Group
School of Electronics and Computer Science
University of Southampton
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:
ESS -
http://ess.ecs.soton.ac.uk
WAIS -
http://wais.ecs.soton.ac.uk
DSSE:Tools
You are in:
DSSE
Tools
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