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
EPSRC Funded

DSSE:Research Projects

Towards a Modular Approach to Model-Based Verification: logical, semantical and algorithmic support
(this project has ended)

Model-based verification is a highly successful formal method for hardware/software development. Depending on the hardware/software systems of interest, existing model-based approaches to verification use different types of mathematical models to describe abstract system behaviour, and the verification techniques they employ are tailored to these model types. However, different approaches also share certain aspects of the underlying mathematical models and of the associated verification methodologies. So far, no effort has been invested into formally relating different model-based approaches to verification. Consequently, no support is available for transferring verification methodologies between different modelling approaches, or for combining/reusing existing verification methodologies in the context of new types of models. The present project aims to address this issue, by developing the theoretical underpinnings of a modular approach to model-based verification. Such an approach will offer several advantages, including: (i) a unified treatment of existing modelling approaches and of their relationships, (ii) the provision of abstraction-based verification techniques which exploit the relationships between different modelling approaches to increase the efficiency of verification, (iii) the ability to combine/reuse existing modelling approaches/ verification methodologies when considering new classes of systems.

Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Logic, Model-Based Verification
Dates: 19th January 2006 to 18th January 2008

Funding

  • EPSRC

Principal Investigators

Other Investigators

  • ms6

Associated Publications

Welcome to ePrints Soton - ePrints Soton
The University of Southampton

Welcome to ePrints Soton

Welcome to the University of Southampton Institutional Research Repository, ePrints Soton. This repository contains details and, if available, downloads of our research output.

Information on this website should be updated via PURE, our research management system. For issues and queries on outputs and open access, please contact the ePrints team at eprints@soton.ac.uk or view the University's Pure support pages.

Search Repository

Search the repository using a full range of fields. Use the search field at the top of the page for a quick search.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

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.

×
© School of Electronics and Computer Science of the University of Southampton