Do-it-Yourself Proof Planning
Speaker: Andrew Ireland, Jamie Stark
Time: Wed 27th January 1999, at 14.15
Place: Room 3.03
Abstract:
Proof planning represents an emerging paradigm for building
theorem provers. The aim of this talk is to motivate proof
planning and show how it works in practice. In addition, we
will outline a couple of applications which are currently
be investigated within the Dependable Systems Group. Finally,
future directions for our research will be highlighted
together with some MSc student project proposals which will
be on offer this year.