The University of Southampton

COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

Date:
2008-2010
Themes:
Embedded Systems, Formal Methods, Design, Automation, Simulation and Optimisation
Funding:
European Commission

Primary investigator

  • Joao Marques-Silva

Partners

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

Associated research group

  • Dependable Systems & Software Engineering
Share this project FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×