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
Research Projects
> browse all
> browse by theme
> browse by funding
DSSE:Research Projects
You are in:
DSSE
Research Projects
COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
Customization and Adaptation of Automatically Generated Code
DEPLOY
dotAC: Exploring the UK research landscape
Infinite State Model Checking using Partial Evaluation
Methodologies and Technologies for Industrial Strength Systems Engineering
NOTOS: New algOrithm for LTL mOdel checking with Satisfiability
OMII-Europe Open Middleware Infrastructure Institute for Europe
Open Middleware Infrastructure Institute
ReSIST: Resilience for Survivability in IST
RICES Reasoning about Information Consistency across Enterprise Solutions
Rigorous Open Development Environment for Complex Systems (RODIN)
Towards a Modular Approach to Model-Based Verification: logical, semantical and algorithmic support
VERTIGO - Verification and Validation of Embedded System Design Workbench
©
School of Electronics and Computer Science
of the
University of Southampton
Research Projects