Teaching Formal Methods: Practice and Experience

BCS London Office, UK, 15 December 2006

AUTHORS

Krysia Broda, Jiefei M, Gabrielle Sinnadurai & Alex Summers

ABSTRACT

Pandora is a tool to support the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the "e-tutor" and facilities to save, reload and export to LATEX.

Every attempt to apply a natural deduction rule is met with either success or a helpful error message, providing the student with instant feedback. This paper describes the e-tutor and our experiences of using the tool in teaching.

PAPER FORMATS

PDF Version of this Paper (112kb)