Utilisation de SMV pour la vérification de propriétés d'IHM multimodales

  • Authors:

  • Nadjet Kamel

  • Affiliations:

  • LRIA/USTHB, BP, El Alia, Bab Ezzouar, Alger, Algerie and LISI/ENSMA, BP, Futuroscope Cedex, France

  • Venue:
  • IHM 2004 Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper adresses the use of the model-checking technique to check the CARE properties of input multimodal interactions. Transition systems and temporal logic are used to specify a multimodal system and its properties. The properties of the multimodal interface are specified in the CTL temporal logic and checked by the SMV model checker.