Do you need Formal Verification?

14 April 2005


Buffet at 6.00pm. Talk at 7.00pm.

Ground Floor Lecture Theatre, Peter Jost Centre, School of Computing and Mathematics, John Moore's University, Byrom Street, Liverpool. View a map of Liverpool JMU

Professor Michael Fisher


You design new systems. You develop new processes. You program new software. All to a very high standard. However:

  • How certain can you be that your designs describe what you expect?
  • How certain can you be that the software you deploy will work as planned?
  • How certain can you be that the processes you use will always achieve what you require?

The speaker will describe formal verification and discuss how it can be used to help answer these questions.

Michael Fisher is a Professor of Computer Science at the University of Liverpool and a Fellow of the BCS. He heads the Logic and Computation research group, and is Director of the Liverpool Verification Laboratory which aims to exploit verification technology via links with industry, particularly where improved levels of assurance or trust are required in systems, processes or procedures. Further information about the Laboratory can be found at