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
Formal Methods Projects
Design, Automation, Simulation and Optimisation Projects
European Commission Funded

DSSE:Research Projects

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


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


  • European Commission

Principal Investigators

  • jpms
© School of Electronics and Computer Science of the University of Southampton