Formal analysis of interactive systems: opportunities and weaknesses

Harrison M, Campos JC, Loer K.  2008.  Formal analysis of interactive systems: opportunities and weaknesses. Research Methods in Human Computer Interaction. :88-111. copy at


Although formal techniques are not widely used in the analysis of interactive systems there are reasons why an appropriate set of tools, suitably designed to be usable by system engineers, could be of value in the portfolio of techniques used to assess interactive systems. This chapter describes the role of formal techniques in modelling and analysing interactive systems, discusses unfulfilled opportunities and speculates about the removal of barriers to their use. It also presents the opportunities that a clear expression of the problem and systematic analysis techniques may afford.

Citation Key: