Liverpool Verification Laboaratory

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

You design systems. You develop new processes and software. All to a high standard. But:

are you certain your designs describe what you expected?

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?

If not, do you care? Will failure in your designs, software or processes be catastrophic

$\color{OliveGreen}\Rightarrow$ for your clients?

$\color{OliveGreen}\Rightarrow$ for your reputation?

$\color{OliveGreen}\Rightarrow$ 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 UAV control, satellite control, communications protocols, autonomous software, and robots.

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]

Contact: For further information about collaborative possibilities please contact

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