Slides for the Formal Methods in HCI unit of my 2013 online course on HCI https://hcibook.com/hcicourse/2013/unit/09-formal * what is dialogue? * state transition networks * properties of dialogue * checking properties: completeness and reversability * checking properties: dangerous states * lexical issues and layout