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

M. Mezzanotte | Zendy; Fabio Paternò | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

M. Mezzanotte,

Fabio Paternò

Publication year - 1996

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/fac1996.10

Subject(s) - computer science , interface (matter) , user interface , human–computer interaction , formal methods , formal verification , programming language , theoretical computer science , operating system , bubble , maximum bubble pressure method

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research