Browse by author
Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Safe operation of safety critical systems depends on appro- priate interactions between the human operator and the com- puter system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analy- sis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces based on model checking techniques.
Author(s): Sousa M, Campos JC, Alves M, Harrison MD
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: AAAI Spring Symposium - Technical Report
Year of Conference: 2014
Online publication date: 26/03/2014
Acceptance date: 01/01/1900
Publisher: AAAI Press
Series Title: Formal Verification and Modeling in Human-Machine Systems: Papers from the AAAI Spring Symposium