Liverpool Verification Laboaratory

Mission:   The aims of the Liverpool Verification Laboratory can be characterised by the following statement.

To develop, apply and exploit high quality formal verification techniques pioneered within the Department of Computer Science at Liverpool, particularly with the aim of increasing industrial, commercial and governmental collaboration at local, regional and international levels.

Why Formal Verification?

What Can Be Done?

Technologies:   The Verification Laboaratory supports a number of technologies that can be used in verification across a broad range of systems.
[Click the clouds above for some examples]


DIRECTOR: Prof. Michael Fisher
DEPUTY DIRECTORS: Dr. Clare Dixon; Dr. Ullrich Hustadt; Dr. Boris Konev; Dr. Alexei Lisitsa.

Contact:   For further information about collaborative possibilities please contact

Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, U.K.