Formal Methods and its Applications

Date:
Tuesday 19 February 2002

Time:
7.00pm

Speaker:
Ian O'Neill, Principal Software Engineer, Praxis Critical Systems Ltd

Venue:
Room HC024, Southampton Institute, East Park Terrace, Southampton

Description:
This technical presentation discusses formal methods, sound programming languages, formal verification and successful applications.

Lecture notes (PowerPoint)