Software Without Bugs

Advanced Programming Specialist Group event

Date/Time:
Thursday 15 January 2004, 6.00 pm

Venue:
The Council Room, Main Building, University College London, Gower Street WC1. The nearest underground stations are Warren Street, Goodge Street, Tottenham Court Road, or Euston Square.

Speaker:
David Crocker, Escher Technologies Ltd.

Summary:
For many years, there have been techniques for developing software alongside mathematical proof that it behaves exactly in accordance with its specifications. These techniques were rarely employed outside safety-critical systems, because they were difficult to use, required specialist mathematical skills, and were very labour-intensive.

Now, thanks to advances in the technology of Automated Reasoning and the availability of cheap processor power, this is changing. This talk outlines the principles of bug-free software development and introduces a new tool that makes this approach practical for a wide range of applications.

Admission:
Free, but please ask Dr Frank Martin to add your name to the security list by e-mailing him at -: f_martin@lgu.ac.uk. Notification is required individually for each meeting.

CPD Value:
Half unit