Formal methods an introduction to and overview of the use of formal methods within HCI

This chapter appeared in Andrew Monk and Nigel Gilbert's collection "Perspectives on HCI". This book contains chapters from experts in a variety of disciplines contributing to HCI. This chapter is about the use of formal methods in HCI. The chapter is organised around three major uses of formalism within HCI: