Verification of Properties of Human-Computer Dialogues with an Infinite Number of States

One of the advantages of using formal methods in human-computer interfaces is the possibility to reason about user interface properties. Model checking techniques provide a useful support for this purpose. This paper discusses the problem of verifying the properties of user interfaces when the dialogue specification has an infinite number of states. Recent techniques allow designers to get some results even in this particular case and we discuss when such results are useful for verifying the user interface properties.

Content

Author and article information

Conference

Publication date: September 1996

Publication date (Print): September 1996

Pages: 1-10

Affiliations

[0001]CNUCE - C.N.R.

Pisa, Italy

Article

DOI: 10.14236/ewic/FAC1996.10

SO-VID: 7054e8e8-b214-4c59-baef-0ab54a7df687

Copyright © © Menica Mezzanotte et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

Conference acronym: FAC

Conference number:

Conference location: Sheffield Hallam University

Conference date: 10-12 September 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Aspects of the Human Computer Interface

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FAC1996.10

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Verification of Properties of Human-Computer Dialogues with an Infinite Number of States

Abstract