Liverpool Verification Laboaratory
The aims of the Liverpool Verification
Laboratory can be characterised by the following
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?
You design systems. You develop new processes and
software. All to a high standard. But:
What Can Be Done?
If not, do you care? Will failure in your designs, software or
- are you
certain your designs describe what
- are you
certain the software you deploy will
always work as planned?
- are you
certain the processes you use will
always achieve what you require?
for your clients?
for your reputation?
for the future of your business?
Formal verification covers a family of techniques whereby a sophisticated formal
logic is used as a convenient mathematical abstraction with which the
dynamic properties of a system/process/design can be checked. Although
such verification may be quite complex, it can go beyond traditional
testing techniques and can be used to establish, for example, whether
a design is `safe', whether a design achieves a required goal, whether
a system implements a given design, etc. This is particularly
important for systems that have the ability to make decisions
themselves, i.e. autonomous systems.
We are involved in the verification of a variety of systems such as
The Verification Laboaratory supports a number of technologies that
can be used in verification across a broad range of systems.
the clouds above for some examples]
For further information about collaborative possibilities please contact
- LIVERPOOL VERIFICATION
- Department of Computer Science, University of Liverpool,
Liverpool L69 7ZF, U.K.
- email: email@example.com