Software Without Bugs

Advanced Programming Specialist Group event

Thursday 15 January 2004, 6.00 pm

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.

David Crocker, Escher Technologies Ltd.

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.

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

CPD Value:
Half unit