Repository Policies & Help
University of Southampton policies regarding the ePrints Soton research repository.
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/1Welcome 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.
University of Southampton policies regarding the ePrints Soton research repository.
View items added to the repository in the past week.
Search the repository using a full range of fields. Use the search field at the top of the page for a quick search.
Browse the items in the repository by division.
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://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.