DSSE
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:
Research Projects

> browse all
> browse by theme
> browse by funding

Formal Methods Projects

DEPLOY

Infinite State Model Checking using Partial Evaluation

Methodologies and Technologies for Industrial Strength Systems Engineering

NOTOS: New algOrithm for LTL mOdel checking with Satisfiability

Rigorous Open Development Environment for Complex Systems (RODIN)

VERTIGO - Verification and Validation of Embedded System Design Workbench

Design, Automation, Simulation and Optimisation Projects

NOTOS: New algOrithm for LTL mOdel checking with Satisfiability

VERTIGO - Verification and Validation of Embedded System Design Workbench

European Commission Funded

OMII-Europe Open Middleware Infrastructure Institute for Europe

Rigorous Open Development Environment for Complex Systems (RODIN)

VERTIGO - Verification and Validation of Embedded System Design Workbench

DSSE:Research Projects

You are in: DSSE Research 456

COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
(this project has ended)

Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Embedded Systems, Formal Methods, Design, Automation, Simulation and Optimisation
Dates: 1st January 2008 to 30th June 2010

Partners

  • Certess, CEA-LETI, AerieLogic, Fondazione Bruno Kessler
  • University of Verona, Graz University of Technology, University of Paderborn

Funding

  • European Commission

Principal Investigators

  • jpms
URI: http://id.ecs.soton.ac.uk/project/456
RDF: http://rdf.ecs.soton.ac.uk/project/456

More information on ECS URIs and RDF
© School of Electronics and Computer Science of the University of Southampton