| Skip to main content | Skip to sub navigation |

This is now an inactive research group it's members have moved on. You can find them at their new research groups:

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


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

Funding

Principal Investigators

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

More information

You can edit the record for this project by visiting http://secure.ecs.soton.ac.uk/db/projects/editproj.php?project=456