Proof Planning

Members of the group work closely with the Mathematics Reasoning Group in the Informatics Division at Edinburgh Univeristy. Current group members working in this area are:

• Andrew Cook (Home page E-mail ceeajc@cee.hw.ac.uk) PhD Student
• Andrew Ireland (Home page E-mail air@cee.hw.ac.uk) Lecturer
• Jamie Stark (Home page E-mail jamie@cee.hw.ac.uk) PhD Student
• Daniele Zini (Home page E-mail ceedz@cee.hw.ac.uk) Socrates student

Automated Reasoning for Dependable Computing

Andrew Ireland and Jamie Stark and Andrew Cook


Dependable Systems Group
Department of Computing and Electrical Engineering
Heriot-Watt University
Edinburgh

• Introduction
• Productive use of failure
• Collaborative reasoning
• Dependable functionality
• Dependable performance
• Bibliography
• About this document ...