State of the Art on Formal Methods for Interactive Systems

Raquel Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen, Alan Dix

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review


This chapter provides an overview of several formal approaches for the design, specification and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not self-contained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide an historical perspective at the main contributions in the area of formal methods in the field of Human-Computer Interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.
Original languageEnglish
Title of host publicationThe Handbook of Formal Methods in Human-Computer Interaction
EditorsBenjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
ISBN (Electronic)9783319518381
ISBN (Print)9783319518374
Publication statusPublished - 26 Apr 2017

Publication series

Name» Human–Computer Interaction Series
ISSN (Print)1571-5035


Dive into the research topics of 'State of the Art on Formal Methods for Interactive Systems'. Together they form a unique fingerprint.

Cite this