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

DSSE:Research Projects

NOTOS: New algOrithm for LTL mOdel checking with Satisfiability
(this project has ended)

The NOTOS project will conduct innovative research on a number of topics in SAT-based model checking, including novel uses of a number of key concepts: resolution proofs and a supporting resolution engine, incremental SAT and incremental model checking, and new uses of interpolants. In addition to the research contributions, the project also entails the development of NOTOS, a fully SAT-based model checker. NOTOS will integrate the most effective techniques for SAT-based model checking, and will seek to compete with the most widely used model checkers, NuSMV and SPIN. Finally, the project will assess the utilisation of the NOTOS model checker in a number of different contexts, including hardware and software systems, and security protocols.

Homepage: http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/E012973/1
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Formal Methods, Design, Automation, Simulation and Optimisation
Dates: 2nd April 2007 to 1st October 2009

Funding

  • EPSRC

Principal Investigators

  • jpms

Other Investigators

  • fl

Associated Publications

Welcome to ePrints Soton - ePrints Soton

Welcome to ePrints Soton

ePrints is no longer available to login or deposit outputs, although you can still use ePrints for searching.

All research outputs must now be deposited in Pure, the University's research information system - https://pure.soton.ac.uk

All records deposited in Pure will appear in ePrints.

For guidance on uploading your outputs to Pure, please consult the Pure support page http://library.soton.ac.uk/openaccess/Pure

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 at: http://www.southampton.ac.uk/research/researcher-support/pure.page

Research outputs already deposited in ePrints will be automatically transferred to Pure.

Datasets will be transferred to Pure over the next few months, please email researchdata@soton.ac.uk with any queries.

Welcome to the University of Southampton Institutional Research Repository ePrints Soton.

Repository Policies & Help

University of Southampton policies regarding the ePrints Soton research repository.
Latest Additions

View items added to the repository in the past week.
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.
Browse Repository

Browse the items in the repository by subject.
© School of Electronics and Computer Science of the University of Southampton