Formal verification of UI using the power of a recent tool suite

Raquel Oliveira 1, 2 Sophie Dupuy-Chessa 2 Calvary Gaëlle 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper presents an approach to verify the quality of user interfaces in the context of a critical system for nuclear power plants. The technique uses formal methods to perform verification. The user interfaces are described by means of a formal language called LNT and ergonomic properties are formally defined using temporal logics written in MCL language. Our approach moves towards the powerfulness of formal verification of user interfaces, thanks to recent tools to support the process.
Type de document :
Communication dans un congrès
EICS 2014 : Proceedings of the 2014 ACM SIGCHI symposium on Engineering Interactive Computing Systems, Jun 2014, Florence, Italy. pp.235-240, 2014, 〈10.1145/2607023.2610280〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01110183
Contributeur : Wendelin Serwe <>
Soumis le : mardi 27 janvier 2015 - 16:14:26
Dernière modification le : mercredi 11 avril 2018 - 01:53:52

Identifiants

Collections

Citation

Raquel Oliveira, Sophie Dupuy-Chessa, Calvary Gaëlle. Formal verification of UI using the power of a recent tool suite. EICS 2014 : Proceedings of the 2014 ACM SIGCHI symposium on Engineering Interactive Computing Systems, Jun 2014, Florence, Italy. pp.235-240, 2014, 〈10.1145/2607023.2610280〉. 〈hal-01110183〉

Partager

Métriques

Consultations de la notice

172